3825 search results - page 516 / 765 » The Language of Time: A Reader |
171
click to vote
FDL
2005
IEEE
16 years 27 days ago
2005
IEEE
In the Software/Hardware Engineering model-driven design methodology, preservation of real-time system properties can be guaranteed in the model synthesis up to a small time-deviat...
181
click to vote
HAPTICS
2005
IEEE
16 years 27 days ago
2005
IEEE
The Maxima Haptics Package is a free software package for symbolic analysis of linear models of haptic devices and teleoperators. From a mechanical model of the haptic device, the...
174
click to vote
ICMB
2005
IEEE
16 years 26 days ago
2005
IEEE
Service discovery is important in mobile and pervasive computing environments, where the set of resources available to an entity changes dynamically over time. This paper describe...
180
click to vote
WORDS
2005
IEEE
16 years 25 days ago
2005
IEEE
Reliable program Worst-Case Execution Time (WCET) estimates are a key component when designing and verifying real-time systems. One way to derive such estimates is by static WCET ...
206
click to vote
SIGMOD
2005
ACM
16 years 25 days ago
2005
ACM
Recursion represents an important addition to the SQL language. This work focuses on the optimization of linear requeries in SQL. To provide an abstract framework for discussion, ...