1776 search results - page 140 / 356 » A Visual Modeling Environment for Embedded Component Systems |
TACAS
2000
Springer
13 years 12 months ago
2000
Springer
Abstract. The Prosper (Proof and Specification Assisted Design Environments) project advocates the use of toolkits which allow existing verification tools to be adapted to a more f...
SIGCSE
2006
ACM
14 years 2 months ago
2006
ACM
Traditionally, the topics of compiler construction and language processing have been taught as an elective course in Computer Science curricula. As such, students may graduate wit...
VRST
1998
ACM
14 years 16 days ago
1998
ACM
Distributed virtual environments allow users at di erent geographical locations to share and interact within a common virtual environment via a local network or through the Intern...
SIGGRAPH
1999
ACM
14 years 18 days ago
1999
ACM
Realistic acoustic modeling is essential for spatializing sound in distributed virtual environments where multiple networked users move around and interact visually and aurally in...
MOBICOM
1995
ACM
13 years 12 months ago
1995
ACM
In this paper, we describe a simulation environment which is used to examine, validate, and predict the performance of mobile wireless network systems. This simulation environment...