10159 search results - page 444 / 2032 » System Design Validation Using Formal Models |
151
click to vote
ATAL
2009
Springer
15 years 8 months ago
2009
Springer
Interactive dynamic influence diagrams (I-DIDs) are graphical models for sequential decision making in uncertain settings shared by other agents. Algorithms for solving I-DIDs fac...
113
Voted
AEI
1999
15 years 4 months ago
1999
Ensuring that the content of a rule-base, which is being encoded, is free from problems of consistency, completeness, and conciseness, is necessary to avoid any performance errors...
143
click to vote
SPLC
2004
15 years 6 months ago
2004
Feature modeling is an important approach to capturing commonalities and variabilities in system families and product lines. In this paper, we propose a cardinality-based notation ...
131
click to vote
ICRA
2005
IEEE
15 years 10 months ago
2005
IEEE
Building cooperatively 3-D maps of unknown environments is one of the application fields of multi-robot systems. This article addressesthatproblemthroughaprobabilisticapproachbas...
142
Voted
ICDCS
2007
IEEE
15 years 11 months ago
2007
IEEE
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...