10275 search results - page 2036 / 2055 » Case Studies of Autonomy |
155
click to vote
FLAIRS
2009
15 years 3 months ago
2009
While team action recognition has a relatively extended literature, less attention has been given to the detailed realtime analysis of the internal structure of the team actions. ...
188
click to vote
FM
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. Explicit state methods have proven useful in verifying safetycritical systems containing concurrent processes that run asynchronously and communicate. Such methods consis...
162
click to vote
ICISC
2009
15 years 3 months ago
2009
Abstract. The design of embedded processors demands a careful tradeoff between many conflicting objectives such as performance, silicon area and power consumption. Finding such a t...
143
click to vote
ICSM
2009
IEEE
15 years 3 months ago
2009
IEEE
Most of today's software applications are built on top of libraries or frameworks. Just as applications evolve, libraries and frameworks also evolve. Upgrading is straightfor...
187
click to vote
ICTAC
2009
Springer
15 years 3 months ago
2009
Springer
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...