10159 search results - page 306 / 2032 » System Design Validation Using Formal Models |
160
click to vote
WRAC
2005
Springer
16 years 5 days ago
2005
Springer
A classic autonomous robot is an autonomous agent for open, unpredictable environments. Such an agent is inherently autonomous but not independent. Independence implies unpredictab...
176
click to vote
DATE
2003
IEEE
16 years 10 hour ago
2003
IEEE
ng precision of abstract SystemC models using the SystemC Verification Standard Franco Carbognani1 , Christopher K. Lennard2 , C. Norris Ip3 , Allan Cochrane2 , Paul Bates2 1 Caden...
168
click to vote
ER
2007
Springer
16 years 27 days ago
2007
Springer
Business modelling research is increasingly interested in exploring how domain ontologies can be used as reference models for business models. The Resource Event Agent (REA) ontolo...
181
click to vote
MEMBRANE
2009
Springer
16 years 1 months ago
2009
Springer
would be an abstract answer (because it would not immediately link a formal model with the biological reality that inspired it or with possible implementations) from the other hand...
165
Voted
SAC
2004
ACM
16 years 4 days ago
2004
ACM
1 This paper discusses the design and implementation details of MAST (Mobile Agent-based Security Tool), a new mobile agentbased network security approach. MAST has been designed t...