1312 search results - page 155 / 263 » Embedded contract languages |
131
click to vote
CICLING
2001
Springer
15 years 8 months ago
2001
Springer
In logic, the spatio-temporal location of a proposition is characterized precisely within a Cartesian system of space and time coordinates. This is suitable for characterizing the ...
118
Voted
MODELS
2009
Springer
15 years 10 months ago
2009
Springer
The development of a highly configurable data management system is a challenging task, especially if it is to be implemented on an embedded system that provides limited resources...
132
click to vote
LCTRTS
2007
Springer
15 years 9 months ago
2007
Springer
Memory management is a critical issue for correctness and performance in real-time embedded systems. Recent work on real-time garbage collectors has shown that it is possible to p...
106
click to vote
MONTEREY
2007
Springer
15 years 9 months ago
2007
Springer
In this paper, we describe an approach to formally assess whether an organization conforms to a body of regulation. Conformance is cast as a model checking question where the regul...
150
click to vote
WORDS
2005
IEEE
15 years 9 months ago
2005
IEEE
A major advantage of service-based computing technology is the ability to enable rapid formation of large-scale distributed systems by composing massively available services to ac...