854 search results - page 90 / 171 » Addressing Dynamic Issues of Program Model Checking |
116
Voted
ICC
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract- Switched Processing Systems (SPS) represent a canonical model for many areas of applications of communication, computer and manufacturing systems. They are characterized ...
152
Voted
TC
2008
15 years 2 months ago
2008
One of the most critical resource management issues in the use of ternary content addressable memory (TCAM) for packet classification/filtering is how to effectively support filte...
106
Voted
ICRA
2007
IEEE
15 years 8 months ago
2007
IEEE
— We consider motion planning problems for a vehicle with kinodynamic constraints, where there is partial knowledge about the environment and replanning is required. We present a...
112
Voted
LREC
2008
15 years 4 months ago
2008
In this paper we address the issue of developing an interoperable infrastructure for language resources and technologies. In our approach, called UFRA, we extend the Federate Data...
128
Voted
AI
2008
Springer
15 years 2 months ago
2008
Springer
The notion of maintenance often appears in the AI literature in the context of agent behavior and planning. In this paper, we argue that earlier characterizations of the notion of...