2786 search results - page 373 / 558 » A Practical Technique for Process Abstraction |
171
click to vote
KBSE
2003
IEEE
15 years 11 months ago
2003
IEEE
Mathematical modeling and simulation of complex physical systems are emerging as key technologies in engineering. Modern approaches to physical system simulation allow users to sp...
142
click to vote
ASIAN
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. A coinduction-based technique to generate an optimal monitor from a Linear Temporal Logic (LTL) formula is presented in this paper. Such a monitor receives a sequence of ...
173
click to vote
ICPPW
2000
IEEE
15 years 11 months ago
2000
IEEE
Abstract. We address the problem of Quality of Service (QoS) requirements for multimedia applications (e.g., distance education, telemedicine, electronic commerce). These applicati...
200
click to vote
WISE
2000
Springer
15 years 11 months ago
2000
Springer
In this paper, we present a web-based architecture of a spatiotemporal video data management system, which can accommodate a wide range of activities by various types of users. Be...
161
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
Abstract. This paper describes a study concerning the impact of MMX technology in the field of automatic vehicle guidance. Due to the high speed a vehicle can reach, this applicati...