Sciweavers

1728 search results - page 116 / 346
» An approach to integration testing based on architectural de...
Sort
View
EWSA
2004
Springer
15 years 3 months ago
ArchWare: Architecting Evolvable Software
This paper gives an overview of the ArchWare European Project1 . The broad scope of ArchWare is to respond to the ever-present demand for software systems that are capable of accom...
Flávio Oquendo, Brian Warboys, Ronald Morri...
PTS
1998
81views Hardware» more  PTS 1998»
14 years 11 months ago
Testing Temporal Logic Properties in Distributed Systems
Based on the notion of event-based behavioral abstraction EBBA we specify properties of object-oriented distributed systems in linear time temporal logic. These properties are the...
Falk Dietrich, Xavier Logean, Shawn Koppenhoefer, ...
IROS
2007
IEEE
184views Robotics» more  IROS 2007»
15 years 4 months ago
Integration of emotional reactions on human facial expressions into the robot head MEXI
— Emotion recognition and adequate reactions are a crucial part of human communication and hence should also be considered for interactions between humans and robots. In this pap...
Natascha Esau, Lisa Kleinjohann, Bernd Kleinjohann
FLAIRS
2009
14 years 7 months ago
A Knowledge Compilation Technique for ALC Tboxes
Knowledge compilation is a common technique for propositional logic knowledge bases. A given knowledge base is transformed into a normal form, for which queries can be answered ef...
Ulrich Furbach, Heiko Günther, Claudia Oberma...
ERCIMDL
1998
Springer
115views Education» more  ERCIMDL 1998»
15 years 2 months ago
The Application of Metadata Standards to Video Indexing
This paper first outlines a multi-level video indexing approach based on Dublin Core extensions and the Resource Description Framework (RDF). The advantages and disadvantages of t...
Jane Hunter