882 search results - page 21 / 177 » Allowing State Changes in Specifications |
143
click to vote
VRML
1999
ACM
15 years 10 months ago
1999
ACM
In this paper we propose a concept for transparent access to VRML state information. Our approach enhances VRML browsers to provide additional functionality instead of placing the...
141
click to vote
ICPADS
2008
IEEE
16 years 13 days ago
2008
IEEE
Peer-to-Peer (P2P) networks have been proposed as a promising approach to create more scalable Networked Virtual Environment (NVE) systems, but P2P-NVE also increases the probabil...
158
click to vote
DSVIS
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. In this paper we argue that using verification in interactive systems development is more than just checking whether the specification of the system has all the required ...
192
click to vote
ACIVS
2009
Springer
16 years 18 days ago
2009
Springer
Abstract. Prematurely born infants are observed at a Neonatal Intensive Care Unit (NICU) for medical treatment. Whereas vital body functions are continuously monitored, their incub...
164
click to vote
FLOPS
2006
Springer
15 years 9 months ago
2006
Springer
Functional reactive programming integrates dynamic dataflow with functional programming to offer an elegant and powerful model for expressing computations over time-varying values....