605 search results - page 50 / 121 » A strategy for efficiently verifying requirements |
AIPR
2004
IEEE
14 years 25 days ago
2004
IEEE
Successful Unmanned Ground Vehicle (UGV) navigation in urban areas requires the competence of the vehicle to cope with Global Positioning System (GPS) outages and/or unreliable po...
APNOMS
2006
Springer
14 years 24 days ago
2006
Springer
IETF's NETCONF WG has taken efforts in standardizing configuration management protocol, which allows high interoperability of configuration management. In addition to interope...
ASPDAC
2006
ACM
14 years 24 days ago
2006
ACM
Abstract-- Shrinking process geometries and frequency scaling give rise to an increasing number of interconnects that require multiple clock cycles. This paper explores efficient t...
ECMDAFA
2006
Springer
14 years 22 days ago
2006
Springer
: The growing interest in the MDA (Model-Driven Architecture) and MDD (Model-Driven Development) approaches has largely increased the number of tools and methods including code-gen...
IJCAI
2001
13 years 10 months ago
2001
Certain planning systems that deal with quantitative time constraints have used an underlying Simple Temporal Problem solver to ensure temporal consistency of plans. However, many...