4 search results - page 1 / 1 » Focusing Qualitative Simulation Using Temporal Logic: Theore... |
AMAI
1998
Springer
13 years 4 months ago
1998
Springer
AAAI
1996
13 years 6 months ago
1996
We present a method for specifying temporal constraints on trajectories of dynamical systems and enforcing them during qualitative simulation. This capability can be used to focus...
SPIN
2010
Springer
13 years 3 months ago
2010
Springer
In the field of communication networks, protocol engineers usually employ several tools focused on specific kinds of analysis, such as performance or correctness. This paper pres...
WIOPT
2005
IEEE
13 years 10 months ago
2005
IEEE
Wireless networks consist of senders, receivers, and intermediate nodes that collaborating (more or less) to establish the communication paths. Most of the researches in the domai...