1380 search results - page 125 / 276 » Reasoning about Input-Output Modeling of Dynamical Systems |
SAC
2010
ACM
14 years 2 days ago
2010
ACM
Service-oriented architecture (SOA) is a relatively new approach to software system development. It divides system functionality to independent, loosely coupled, interoperable ser...
DIMACS
1996
13 years 11 months ago
1996
There is a growing recognition of the need to apply formal mathematical methods in the design of \high con dence" computing systems. Such systems operate in safety critical co...
ECRTS
1999
IEEE
14 years 2 months ago
1999
IEEE
Many industrial applications mandate the use of a timetriggered paradigm and consequently the use of off-line scheduling for reasons such as predictability, certification, cost, o...
SIGMOD
1999
ACM
14 years 2 months ago
1999
ACM
Query processing in data integration occurs over network-bound, autonomous data sources. This requires extensions to traditional optimization and execution techniques for three re...
GI
2009
Springer
14 years 2 months ago
2009
Springer
: We present an extension of the programming-by-contract (PBC) paradigm to a concurrent and distributed environment. Classical PBC is characterized by absolute conformance of code ...