3828 search results - page 129 / 766 » Proof-Based System Engineering Using a Virtual System Model |
130
Voted
ESEC
1999
Springer
15 years 9 months ago
1999
Springer
We present a communication and component model for push systems. Surprisingly, despite the widespread use of many push services on the Internet, no such models exist. Our communica...
150
click to vote
VRST
2004
ACM
15 years 10 months ago
2004
ACM
We have integrated technologies related to virtual social interaction, e.g. virtual environments, visual simulations, and lifelike characters. In our previous efforts to integrate...
164
click to vote
EMSOFT
2006
Springer
15 years 7 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...
158
click to vote
AVI
2004
15 years 6 months ago
2004
In a navigation-oriented interaction paradigm, such as desktop, mixed and augmented virtual reality, recognizing the user needs is a valuable improvement, provided that the system...
147
click to vote
CODES
1999
IEEE
15 years 9 months ago
1999
IEEE
We propose a system synthesis method which bridges the gap between a highly abstract functional model and an efficient hardware or software implementation. The functional model is...