3169 search results - page 218 / 634 » Robust Timed Automata |
125
click to vote
ICCAD
1997
IEEE
15 years 8 months ago
1997
IEEE
We present a new matrix formulation of the face hypercube embedding problem that motivates the design of an efficient search strategy to find an encoding that satisfies all fac...
119
click to vote
COMPSAC
2004
IEEE
15 years 7 months ago
2004
IEEE
Critical industrial applications or fault tolerant applications need for operating systems (OS) which guarantee a correct and safe behaviour in spite of the appearance of errors. ...
135
click to vote
SIGCOMM
1991
ACM
15 years 7 months ago
1991
ACM
One of the most compelling long term problems facing the IP and emerging 0S1 Internet is growth, At the same time, policy routing-the ability of a packet source to determine the t...
137
click to vote
GECCO
2010
Springer
15 years 5 months ago
2010
Springer
In this paper, the advantages of introducing an additional amount of tests when evolving parameters for specific purposes is discussed. A set of optimal PID-controller parameters...
133
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
This paper addresses the problem of plan recognition for multiagent teams. Complex multi-agent tasks typically require dynamic teams where the team membership changes over time. T...