3256 search results - page 478 / 652 » Applications of Formal Methods to System Design and Verifica... |
88
Voted
FORTE
2003
14 years 11 months ago
2003
Abstract. Component based design is a new methodology for the construction of distributed systems and applications. In this new setting, a system is built by the assembly of (pre)-...
88
Voted
ISORC
1999
IEEE
15 years 2 months ago
1999
IEEE
Designing distributed real-time systems as being composed of communicating objects offers many advantages with respect to modularity and extensibility of these systems. However, d...
92
Voted
ICDCS
2010
IEEE
15 years 8 days ago
2010
IEEE
Abstract—Coverage problem is a fundamental issue in wireless ad hoc and sensor networks. Previous techniques for coverage scheduling often require accurate location information o...
116
Voted
PLDI
2012
ACM
13 years 21 days ago
2012
ACM
Linearizability is a key design methodology for reasoning about tations of concurrent abstract data types in both shared memory and message passing systems. It provides the illusi...
93
Voted
PRDC
2006
IEEE
15 years 4 months ago
2006
IEEE
Dependable systems are usually designed with multiple instances of components or logical processes, and often possess symmetries that may be exploited in model-based evaluation. T...