13397 search results - page 301 / 2680 » From Static Distributed Systems to Dynamic Systems |
145
click to vote
REX
1991
15 years 8 months ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
134
click to vote
WIESS
2000
15 years 5 months ago
2000
Our research is motivated by the scaleability, availability, and extensibility challenges in deploying open systems based, enterprise operational applications. We present Delta�...
126
click to vote
ICDCN
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. We define geometric self-structuring in a large-scale networked system as the ability of the participating nodes to collaboratively impose a geometric structure to the ne...
IWPC
2008
IEEE
15 years 10 months ago
2008
IEEE
Developers rely on the mechanisms provided by their IDE to browse and navigate a large software system. These mechanisms are usually based purely on a system’s static source cod...
171
click to vote
EUROMICRO
2003
IEEE
15 years 9 months ago
2003
IEEE
: The approach of aggregating components into complex software systems is maturing with the rapid development of component technology. How to analyze software reliability from syst...