Sciweavers

1124 search results - page 110 / 225
» Refined quorum systems
Sort
View
ISORC
2000
IEEE
15 years 10 months ago
Verification of UML-Based Real-Time System Designs by Means of cTLA
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
Günter Graw, Peter Herrmann, Heiko Krumm
AEI
2010
126views more  AEI 2010»
15 years 6 months ago
Engineering intelligent information-processing systems with CAST
The CoSy Architecture Schema Toolkit (CAST) is a new software toolkit, and related processing paradigm, which supports the construction and exploration of information-processing a...
Nick Hawes, Jeremy Wyatt
SPEECH
2008
75views more  SPEECH 2008»
15 years 6 months ago
Relations between de-facto criteria in the evaluation of a spoken dialogue system
Evaluation of spoken dialogue systems has been traditionally carried out in terms of instrumentally or expert-derived measures (usually called ``objective" evaluation) and qu...
Zoraida Callejas, Ramón López-C&oacu...
AINA
2008
IEEE
16 years 1 months ago
Service-Orientation and Flexible Service Binding in Distributed Automation and Control Systems
An experimental study shows the feasibility of service-oriented architectures for industrial automation and control systems even with respect to lower, real-time dependent control...
Andre Pohl, Heiko Krumm, Felix Holland, Franz-Jose...
AGENTS
2001
Springer
15 years 11 months ago
Evaluation of modeling techniques for agent-based systems
To develop agent-based systems, one needs a methodology that supports the development process as common in other disciplines. In recent years, several such methodologies and model...
Onn Shehory, Arnon Sturm