990 search results - page 136 / 198 » Tool Support for Distributed Inspection |
167
click to vote
GROUP
2005
ACM
15 years 11 months ago
2005
ACM
VERN is an online collaborative tool that coordinates and distributes the process of finding optimal meeting times across the members of a group. The system combines the underlyin...
155
click to vote
EMSOFT
2005
Springer
15 years 11 months ago
2005
Springer
Statecharts are probably the most popular mechanism for behavior modeling of embedded system components. Modeling a component involves using a mainstream language for features tha...
140
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
We introduce MAGENTA’s commercial multi-agent systems technology, and illustrate its practical use by describing a field-tested application in the area of logistics/scheduling....
155
click to vote
HIPC
2004
Springer
15 years 11 months ago
2004
Springer
This paper summarizes the design and implementation of a parallel algorithm for state assignment of large Finite State Machines (FSMs). High performance CAD tools are necessary to...
135
click to vote
ICWE
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we thoroughly discuss design and implementation issues for semantic search and navigation to ontology-based metrics and indicators metadata. These semantic search and...