900 search results - page 150 / 180 » A Tool-Supported Approach to Testing UML Design Models |
SIMUTOOLS
2008
13 years 9 months ago
2008
Embedded Peer-to-Peer Systems (EP2P) represent a new challenge in the development of software for distributed systems. The main objective of the SMEPP (Secure Middleware for Embed...
CVPR
2004
IEEE
14 years 9 months ago
2004
IEEE
In this paper, we propose a robust model selection criterion for mixtures of subspaces called minimum effective dimension (MED). Previous information-theoretic model selection cri...
CHARME
2003
Springer
14 years 28 days ago
2003
Springer
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
BMCBI
2006
13 years 7 months ago
2006
Background: Biological databases and pathway knowledgebases are proliferating rapidly. We are developing software tools for computer-aided hypothesis design and evaluation, and we...
ROBOCOMM
2007
IEEE
14 years 1 months ago
2007
IEEE
—Managing a team of heterogeneous robots in a dynamic environment poses a challenging job. In this paper a model for a multi-purpose, real-time, adaptable, strategical coordinati...