4520 search results - page 40 / 904 » Algebraic Techniques for Timed Systems |
106
click to vote
AAMAS
2007
Springer
15 years 1 months ago
2007
Springer
Protocols enable unambiguous, smooth interactions among agents. Commitments among agents are a powerful means of developing protocols. Commitments enable flexible execution of pro...
111
Voted
DATE
2002
IEEE
15 years 6 months ago
2002
IEEE
The market demand for portable multimedia applications has exploded in the recent years. Unfortunately, for such applications current compilers and software optimization methods o...
CORR
2008
Springer
15 years 1 months ago
2008
Springer
The control of small-scale helicopter is a MIMO problem. To use of classical control approach to formally solve a MIMO problem, one needs to come up with multidimensional Root Loc...
117
click to vote
POPL
2012
ACM
13 years 9 months ago
2012
ACM
Software-defined networks (SDNs) are a new implementation architecture in which a controller machine manages a distributed collection of switches, by instructing them to install ...
133
click to vote
AIPR
2006
IEEE
15 years 7 months ago
2006
IEEE
Remotely sensed images from satellite sensors such as MODIS Aqua and Terra provide high temporal resolution and wide area coverage. Unfortunately, these images frequently include ...