276 search results - page 1 / 56 » Proving Properties of Dynamic Process Networks |
IANDC
1998
13 years 10 months ago
1998
MEMOCODE
2006
IEEE
14 years 4 months ago
2006
IEEE
Timed I/O Automata (TIOA) is a mathematical framework for modeling and verification of distributed systems that involve discrete and continuous dynamics. TIOA can be used for exa...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. This paper aims at providing a rigorous definition of selforganization, one of the most desired properties for dynamic systems (e.g., peer-to-peer systems, sensor networ...
DSN
2009
IEEE
14 years 5 months ago
2009
IEEE
Remote attestation of system integrity is an essential part of trusted computing. However, current remote attestation techniques only provide integrity proofs of static properties...
TCS
2008
13 years 10 months ago
2008
We describe a type system for the Xd calculus of Gardner and Maffeis. An Xd-network is a network of locations, where each location consists of both a data tree (which contains scr...