8928 search results - page 238 / 1786 » Modeling Current Events |
137
Voted
MAM
2008
15 years 3 months ago
2008
This paper presents a design methodology for a hybrid Hardwarein-the-Loop (HIL) tester tool, based on both discrete event system theory, given by timed automata, and continuous sy...
112
Voted
ACL
2012
13 years 6 months ago
2012
We propose a new approach to characterizing the timeline of a text: temporal dependency structures, where all the events of a narrative are linked via partial ordering relations l...
130
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
The paper reports on an analysis technology based on the tracing approach to test trustworthy requirements of a distributed system. The system under test is instrumented such that...
143
Voted
WSC
1998
15 years 5 months ago
1998
The use of the World Wide Web and Java-based mobile code provides new opportunities for distributed simulation. First, the infrastructure provided by the Internet eliminates the n...
133
Voted
ACTA
2007
15 years 3 months ago
2007
Abstract. In order to design and analyse complex systems, modelers need formal models with two contradictory requirements: a high expressivity and the decidability of behavioural p...