4543 search results - page 168 / 909 » Interactive Distributed Configuration |
124
click to vote
ARTS
1999
Springer
15 years 7 months ago
1999
Springer
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...
149
click to vote
PPSN
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. There are evolutionary trajectories in two different but related spaces, design space and niche space. Coevolution occurs in parallel trajectories in both spaces, with co...
100
click to vote
CHI
1995
ACM
15 years 6 months ago
1995
ACM
As organizations become distributed across multiple sites, they are looking to technology to help support enterprisewide communication and training to distant locations. We develo...
110
click to vote
PADS
2005
ACM
15 years 8 months ago
2005
ACM
Internet worm spread is a phenomenon involving millions of hosts, who interact in complex and diverse environment. Scanning speed of each infected host depends on its resources an...
138
click to vote
ACSD
2006
IEEE
15 years 9 months ago
2006
IEEE
Recently, the formal approach of I–Systems has been newly hed through an abstract axiomatic system where events in system components are solely derived and defined from their b...