12115 search results - page 344 / 2423 » Bisimulation of Dynamical Systems |
198
click to vote
FASE
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Software architecture constitutes a promising approach to the development of large-scale distributed systems, but architecture description languages (ADLs) and their asso...
185
click to vote
INFOCOM
2006
IEEE
16 years 23 days ago
2006
IEEE
— Peer-to-peer systems are becoming increasingly popular, with millions of simultaneous users and a wide range of applications. Understanding existing systems and devising new pe...
169
click to vote
IPSN
2004
Springer
16 years 3 days ago
2004
Springer
This paper presents an approach for dynamic software reconfiguration in sensor networks. Our approach utilizes explicit models of the design space of the embedded application. The...
152
click to vote
PLDI
1992
ACM
15 years 10 months ago
1992
ACM
: SELF's debugging system provides complete source-level debugging (expected behavior) with globally optimized code. It shields the debugger from optimizations performed by th...
185
click to vote
ECOWS
2006
Springer
15 years 10 months ago
2006
Springer
Traditional process support systems offer the promise of software assembled from service elements. The typical approach is a static composition of atomic processes to more powerfu...