7557 search results - page 34 / 1512 » Modeling Timed Concurrent Systems |
105
click to vote
ICCAD
1996
IEEE
15 years 5 months ago
1996
IEEE
We give a denotational framework (a "meta model") within which certain properties of models of computation can be understood and compared. It describes concurrent proces...
119
click to vote
TKDE
2002
15 years 29 days ago
2002
Database systems for real-time applications must satisfy timing constraints associated with transactions. Typically, a timing constraint is expressed in the form of a deadline and ...
114
click to vote
ISOLA
2010
Springer
14 years 11 months ago
2010
Springer
The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand...
104
click to vote
ICDE
2010
IEEE
15 years 6 months ago
2010
IEEE
— While planning the execution of report-generation workloads, database administrators often need to know how long different query workloads will take to run. Database systems ru...
100
click to vote
IFM
2000
Springer
15 years 5 months ago
2000
Springer
This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes ...