298 search results - page 9 / 60 » UPPAAL - Now, Next, and Future |
FM
2009
Springer
13 years 11 months ago
2009
Springer
We study a clock synchronization protocol for the Chess WSN. First, we model the protocol as a network of timed automata and verify various instances using the Uppaal model checker...
MICAI
2005
Springer
14 years 6 days ago
2005
Springer
Abstract. In highly dynamic environments with uncertainty the elaboration of long or rigid plans is useless because the constructed plans are frequently dismissed by the arrival or...
SAINT
2009
IEEE
14 years 1 months ago
2009
IEEE
In this paper, we present a social network based network communication architecture, Davis Social Links (DSL). DSL uses the trust and relationships inherent to human social networ...
ICCAD
2005
IEEE
14 years 3 months ago
2005
IEEE
Future inter- and intra-ULSI interconnect systems demand extremely high data rates as well as bi-directional multi-I/O concurrent service, re-configurable computing/processing arc...
HICSS
2008
IEEE
14 years 1 months ago
2008
IEEE
E-government research has become a recognized research domain and many policies and strategies are formulated for e-government implementations. Most of these target the next few y...