10159 search results - page 290 / 2032 » System Design Validation Using Formal Models |
168
click to vote
AAAI
2006
15 years 4 months ago
2006
We describe an approach to distributed knowledge acquisition using an ontology. The ontology is used to represent and reason about soldier performance. These methods are embedded ...
ICRA
2003
IEEE
15 years 8 months ago
2003
IEEE
This work describes the modeling and control of a proposed actuation system that is capable of pressurizing a chamber volume via the catalytic decomposition of a liquid monopropel...
150
Voted
SFM
2005
Springer
15 years 9 months ago
2005
Springer
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
103
click to vote
ICMCS
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper addresses issues pertaining to the necessity of utilizing formal verification methods in the design of protocols for peer-to-peer multimedia systems. These systems req...
143
click to vote
COMPUTER
2006
15 years 3 months ago
2006
Model-driven development (MDD) is an emerging paradigm that improves the software development lifecycle, particularly for large software systems by providing a higherabstraction fo...