276 search results - page 1 / 56 » Proving Properties of Dynamic Process Networks |
81
Voted
IANDC
1998
15 years 7 days ago
1998
91
Voted
MEMOCODE
2006
IEEE
15 years 6 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...
107
Voted
CORR
2010
Springer
14 years 11 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...
97
Voted
DSN
2009
IEEE
15 years 7 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...
103
Voted
TCS
2008
15 years 14 days 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...