Showing
1 - 20
results of
127
for search '
"internet"
'
Skip to content
Toggle navigation
0
items
(Full)
All Fields
Title
Author
Subject
Find
Advanced
Search History
Search by Map:
Arctic
Antarctic
Reset Filters
Topic:
[INFO]Computer Science [cs]
Reset Filters
Show filters (1)
Topic:
[INFO]Computer Science [cs]
Search Results - Open Polar - "internet"
Search Results
Showing
1 - 20
results of
127
for search '
"internet"
'
, query time: 0.12s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Author
Title
List
Grid
Visual
Select Page | with selected:
Email
Export
Print
Add to Book Bag
A Model-Checking Tool for Families of Services
Get access
Get access
Get access
Get access
A Model-Checking Tool for Families of Services
Get access
Get access
Get access
Get access
Coordination Models and Languages
Get access
Get access
A Process Calculus for Dynamic Networks
Get access
Get access
Get access
Get access
A Process Calculus for Dynamic Networks
Get access
Get access
Get access
Get access
Monitoring Distributed Systems Using Knowledge
Get access
Get access
Get access
Get access
A Process Calculus for Dynamic Networks
Get access
Get access
Get access
Get access
Modeling the Performance of Ring Based DHTs in the Presence of Network Address T...
Get access
Get access
Get access
Get access
Analyzing BGP Instances in Maude
Get access
Get access
Get access
Get access
Contracts for Multi-instance UML Activities
Get access
Get access
Get access
Get access
Passive Network-Awareness for Dynamic Resource-Constrained Networks
Get access
Get access
Get access
Get access
Modeling the Performance of Ring Based DHTs in the Presence of Network Address T...
Get access
Get access
Get access
Get access
Combining Static Analysis and Runtime Checking in Security Aspects for Distribut...
Get access
Get access
Get access
Get access
Session Typing for a Featherweight Erlang
Get access
Get access
Get access
Get access
Revisiting Glue Expressiveness in Component-Based Systems
Get access
Get access
Get access
Get access
Combining Static Analysis and Runtime Checking in Security Aspects for Distribut...
Get access
Get access
Get access
Get access
Combining Static Analysis and Runtime Checking in Security Aspects for Distribut...
Get access
Get access
Get access
Get access
Analyzing BGP Instances in Maude
Get access
Get access
Get access
Get access
Passive Network-Awareness for Dynamic Resource-Constrained Networks
Get access
Get access
Get access
Get access
Analyzing BGP Instances in Maude
Get access
Get access
Get access
Get access
Select Page | with selected:
Email
Export
Print
Add to Book Bag
1
2
3
4
5
6
7
Next
Last
Search Tools:
Get RSS Feed
Back
Narrow Search
Year of Publication
From:
To:
Document Type
Conference Object
125
Book
2
Author
Nielson, Flemming
6
Pereira, José
6
Kouzapas, Dimitrios
5
Dowling, Jim
4
Ferreira, Paulo
4
Harwood, Aaron
4
Julien, Christine
4
Oliveira, Rui
4
Stefani, Jean-Bernard
4
Veiga, Luís
4
Yoshida, Nobuko
4
Zavattaro, Gianluigi
4
Acciai, Lucia
3
Aotani, Tomoyuki
3
Arbab, Farhad
3
Asirelli, Patrizia
3
Becker, Bernd
3
Boreale, Michele
3
Braitling, Bettina
3
Fantechi, Alessandro
3
Filipiuk, Piotr
3
Flissi, Areski
3
Fratani, Séverine
3
Gabbrielli, Maurizio
3
Glenstrup, Arne
3
Gnesi, Stefania
3
Gohs, Rasmus,
3
Graf, Susanne
3
Guidi, Claudio
3
Gunnarsson, Sigurður,
3
see all ...
Topic
[INFO]Computer Science [cs]
[INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]
125
Bluetooth
5
Dependability
4
Peer-to-Peer
4
Android
3
DSDV
3
MANET
3
Recruitment of women to creative IT
3
Role models
3
Young women in creative IT
3
[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
3
formal specification
3
linear time
3
mesh
3
mobile
3
model checking
3
multicast
3
network protocols
3
networking
3
peer-to-peer
3
probabilistic transition systems
3
safety
3
testing equivalence
3
verification methods
3
Autonomous Components
2
Bursty events detection
2
Cloud Computing
2
Cooperative Repair
2
DHT
2
see all ...
Content Provider
Archive ouverte HAL (Hyper Article en Ligne, CCSD - Centre pour la Communication Scientifique Directe)
54
IFIP Open Digital Library (International Federation for Information Processing)
53
Université de Nantes: HAL-UNIV-NANTES
14
Université Grenoble Alpes: HAL
2
Aix-Marseille Université: HAL
1
Université d'Avignon et des Pays de Vaucluse: HAL
1
Université de Lille 3 - Sciences Humaines et Sociales: HAL
1
Université de Lorraine: HAL
1
see all ...
Geographic location
Maude
3
Norway
3
Language
English
127
Open Polar Keyword
Iceland
127
Loading...