17 search results - page 2 / 4 » An Efficient Implementation of Reactivity for Modeling Hardw... |
DSRT
2002
IEEE
13 years 10 months ago
2002
IEEE
The paper describes an experimental web-based environment for teaching and testing. The application named Nautilus has been developed using Virtual Reality Modeling Language (VRML...
CAV
1997
Springer
13 years 8 months ago
1997
Springer
We demonstrate the feasibility of using the XSB tabled logic programming system as a programmable fixed-point engine for implementing efficient local model checkers. In particular,...
ATVA
2008
Springer
13 years 7 months ago
2008
Springer
UPPAAL PORT is a new tool for component-based design and analysis of embedded systems. It operates on the hierarchically structured continuous time component modeling language Save...
AAMAS
2005
Springer
13 years 5 months ago
2005
Springer
One of the most difficult problems in Multi-Agent Systems (MAS) involves representing the knowledge and beliefs of an agent which performs its tasks in a dynamic environment. New p...
ECMDAFA
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. Current mobile digital communication systems must implement rigorous operations to guarantee high levels of confidentiality and integrity during transmission of critical ...