8928 search results - page 208 / 1786 » Modeling Current Events |
146
Voted
ACSD
2006
IEEE
15 years 9 months ago
2006
IEEE
Recently, the formal approach of I–Systems has been newly hed through an abstract axiomatic system where events in system components are solely derived and defined from their b...
136
click to vote
EVENT
2001
15 years 4 months ago
2001
In airborne video, objects are tracked from a moving camera and often imaged at very low resolution. The camera movement makes it difficult to determine whether or not an object i...
115
click to vote
SIGPLAN
2002
15 years 3 months ago
2002
The paper reports on an experiment to provide the Erlang programming language with a tool package for convenient trace generation, collection and to support analysis of traces usi...
149
click to vote
PATMOS
2007
Springer
15 years 9 months ago
2007
Springer
This work deals with the problem to optimise the energy consumption of an embedded system. On system level, tasks are assumed to have a certain CPU-usage they need for completion. ...
147
Voted
IC3
2009
15 years 1 months ago
2009
Abstract. This paper presents liveness properties that need to be preserved by Event-B models of distributed systems. Event-B is a formal technique for development of models of dis...