2813 search results - page 46 / 563 » Formalizing Architectural Connection |
101
click to vote
LADC
2007
Springer
15 years 8 months ago
2007
Springer
A distributed dynamic system is a fully distributed system subject to a continual arrival/departure of the entities defining the system. Another characterizing dimension of these ...
102
click to vote
ASYNC
2007
IEEE
15 years 6 months ago
2007
IEEE
Few formal verification techniques are currently available for asynchronous designs. In this paper, we describe a new approach for the formal verification of asynchronous architec...
137
click to vote
APSEC
2001
IEEE
15 years 5 months ago
2001
IEEE
Formal specifications are now widely accepted in software development. Recently, the need for a separation of concerns with reference to static and dynamic aspects appeared. Furth...
123
click to vote
BIRTHDAY
2007
Springer
15 years 6 months ago
2007
Springer
Well understood methods exist for developing programs from formal specifications. Not only do such methods offer a precise check that certain sorts of deviations from their specifi...
150
click to vote
SDM
2004
SIAM
15 years 3 months ago
2004
SIAM
Several application domains such as molecular biology and geography produce a tremendous amount of data which can no longer be managed without the help of efficient and effective ...