4666 search results - page 685 / 934 » Equations on Timed Languages |
166
click to vote
HAPTICS
2005
IEEE
16 years 9 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...
161
click to vote
ICMB
2005
IEEE
16 years 9 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...
164
Voted
WORDS
2005
IEEE
16 years 8 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 ...
188
click to vote
SIGMOD
2005
ACM
16 years 8 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, ...
159
click to vote
CAV
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...