1395 search results - page 120 / 279 » Incremental Construction Approach for Distributed System Spe... |
102
click to vote
ICSR
2011
Springer
14 years 1 months ago
2011
Springer
With the move to distributed, component based systems involving reuse of components and services, emergent, system-wide properties, including safety and security in particular, are...
IASTEDSEA
2004
14 years 11 months ago
2004
Program transformation through the repeated application of simple rewrite rules is conducive to formal verification. In practice, program transformation oftentimes requires data t...
82
Voted
PADS
1999
ACM
15 years 2 months ago
1999
ACM
Most work to date in parallel and distributed discrete event simulation is based on assigning precise time stamps to events, and time stamp order event processing. An alternative ...
WADT
1999
Springer
15 years 2 months ago
1999
Springer
Based on the FOCUS theory of distributed systems (see [Broy, Stølen 01]) that are composed of interacting components we introduce a formal model of services and layered architectu...
CORR
2007
Springer
14 years 10 months ago
2007
Springer
Deployment of distributed applications on large systems, and especially on grid infrastructures, becomes a more and more complex task. Grid users spend a lot of time to prepare, in...