187 search results - page 18 / 38 » Formal Semantics of the ProCom Real-Time Component Model |
115
click to vote
DBPL
2003
Springer
15 years 8 months ago
2003
Springer
Over the last fifteen years, database management systems (DBMSs) have been enhanced by the addition of rule-based programming to obtain active DBMSs. One of the greatest challeng...
126
click to vote
ECOOPW
1997
Springer
15 years 7 months ago
1997
Springer
An object-oriented (OO) model has a static component, the set of allowable snapshots or system states, and a dynamic component, the set of filmstrips or sequences of snapshots. Dia...
136
click to vote
SAM
2004
15 years 4 months ago
2004
Discovering faults in requirements specifications for distributed reactive systems is a challenging problem since many issues that need to be uncovered are a result of subtle compo...
133
click to vote
ATVA
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Dynamic fault trees (DFTs) are a versatile and common formalism to model and analyze the reliability of computer-based systems. This paper presents a formal semantics of ...
177
click to vote
CCGRID
2010
IEEE
15 years 4 months ago
2010
IEEE
Geo-sciences involve large-scale parallel models, high resolution real time data from highly asynchronous and heterogeneous sensor networks and instruments, and complex analysis a...