26 search results - page 5 / 6 » Modelling Calculi with Name Mobility using Graphs with Equiv... |
101
click to vote
COORDINATION
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We present a framework for modelling heterogeneous distributed systems using graph transformations in the Synchronized Hyperedge Replacement approach, which describes com...
136
click to vote
CL
2008
Springer
15 years 15 days ago
2008
Springer
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for m...
101
click to vote
SIGCOMM
2009
ACM
15 years 7 months ago
2009
ACM
The analysis of social and technological networks has attracted a lot of attention as social networking applications and mobile sensing devices have given us a wealth of real data...
135
click to vote
ISI
2006
Springer
15 years 11 days ago
2006
Springer
In the paper we combine a Bayesian Network model for encoding forensic evidence during a given time interval with a Hidden Markov Model (EBN-HMM) for tracking and predicting the de...
112
click to vote
MOBIHOC
2002
ACM
16 years 5 hour ago
2002
ACM
This paper investigates two fundamental characteristics of a wireless multihop network: its minimum node degree and its k?connectivity. Both topology attributes depend on the spat...