8928 search results - page 102 / 1786 » Modeling Current Events |
RE
2010
Springer
14 years 6 months ago
2010
Springer
Domain modeling is an important aspect of software engineering. This paper presents our experience of modeling land transportation domain in the formal framework of Event-B. The do...
DEBS
2008
ACM
15 years 1 months ago
2008
ACM
We propose a sensornet programming model based on declarative spatio-temporal constraints on events only, not sensors. Where previous approaches conflate events and sensors becaus...
VR
2002
IEEE
15 years 4 months ago
2002
IEEE
Many VR platforms emphasize extensibility to support as wide a range of applications as possible. The current trend is to move this extensibility to lower levels of the system to ...
104
click to vote
FORMATS
2009
Springer
15 years 6 months ago
2009
Springer
Embedded real-time systems are typically programmed in low-level languages which provide support for event-driven task processing and real-time interrupts. We show that the model c...
ICFEM
2009
Springer
15 years 6 months ago
2009
Springer
It is believed that reusability in formal development should reduce the time and cost of formal modelling within a production environment. Along with the ability to reuse formal mo...