9405 search results - page 1376 / 1881 » Computing a Model of Set Theory |
179
click to vote
APN
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Time Petri nets have proved their interest in modeling realtime concurrent systems. Their usual semantics is defined in term of firing sequences, which can be coded in a ...
195
click to vote
CCGRID
2004
IEEE
15 years 10 months ago
2004
IEEE
The Metaverse project aims to develop technology for low-cost, high-resolution networked immersive display environments that can be used for distributed collaboration, exploration...
203
click to vote
IFIPTCS
2000
15 years 10 months ago
2000
Hierarchical state machines are finite state machines whose states themselves can be other machines. In spite of their popularity in many modeling tools for software design, very l...
180
click to vote
IWAN
2000
Springer
15 years 10 months ago
2000
Springer
Policy-based networks can be customized by users by injecting programs called policies into the network nodes. So if general-purpose functions can be specified in a policy-based ne...
155
click to vote
DAC
1995
ACM
15 years 10 months ago
1995
ACM
Abstract—We present a new approach to event-driven simulation that does not use a centralized run-time event queue, yet is capable of handling arbitrary models, including those w...