4693 search results - page 19 / 939 » Verifying Hybrid Systems |
112
click to vote
JPDC
2006
15 years 12 days ago
2006
Virtualization provides a vehicle to manage the available resources and enhance their utilization in network computing. System dynamics requires virtual machines be distributed an...
119
Voted
ESAS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Node compromise is a serious threat in wireless sensor networks. Particular in networks which are organized in clusters, nodes acting as cluster heads for many cluster no...
HYBRID
2007
Springer
15 years 6 months ago
2007
Springer
57
Voted
HYBRID
2004
Springer
15 years 5 months ago
2004
Springer
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
One approach to moderating the expected behaviour of agents in open societies is the use of explicit languages for defining norms, conditional commitments and/or social expectation...