4520 search results - page 62 / 904 » Algebraic Techniques for Timed Systems |
105
Voted
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 ...
105
Voted
SSIRI
2010
15 years 6 days ago
2010
—We describe how to use a timeband architecture to model real-time requirements. The architecture separates requirements that use different time units, producing a family of mode...
107
click to vote
CODES
2001
IEEE
15 years 5 months ago
2001
IEEE
New embedded systems must be power-aware, not just low-power. That is, they must track their power sources and the changingpower and performance constraints imposed by the environ...
89
Voted
INFORMATICALT
2002
15 years 1 months ago
2002
High-quality machine translation between human languages has for a long time been an unattainable dream for many computer scientists involved in this fascinating and interdisciplin...
124
click to vote
VLDB
1992
ACM
15 years 5 months ago
1992
ACM
Research in temporal databases has mainly focused on defining temporal data models by extending existing models, and developing access structures for temporal data. Little has bee...