585 search results - page 103 / 117 » Strategy Logic |
143
Voted
CCE
2005
15 years 2 months ago
2005
Process network problems can be formulated as Generalized Disjunctive Programs where a logicbased representation is used to deal with the discrete and continuous decisions. A new ...
122
Voted
SIGMETRICS
2002
ACM
15 years 2 months ago
2002
ACM
Network tomography is a process for inferring "internal" link-level delay and loss performance information based on end-to-end (edge) network measurements. These methods...
113
click to vote
RAS
2007
15 years 2 months ago
2007
In a multi-robotic system, robots interact with each other in a dynamically changing environment. The robots need to be intelligent both at the individual and group levels. In thi...
161
click to vote
ICFEM
2009
Springer
15 years 9 days ago
2009
Springer
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...
149
Voted
ICST
2009
IEEE
15 years 8 days ago
2009
IEEE
This paper studies the problem of model-based testing of real-time systems that are only partially observable. We model the System Under Test (SUT) using Timed Game Automata (TGA)...