Sciweavers

4513 search results - page 385 / 903
» Modeling with a Sense of Purpose
Sort
View
SEFM
2007
IEEE
16 years 1 months ago
Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods
Various research prototypes and a well-founded theory of model based testing (MBT) suggests the application of MBT to real-world problems. In this article we report on applying th...
Bernhard K. Aichernig, Bernhard Peischl, Martin We...
IAT
2006
IEEE
16 years 26 days ago
Retaining Semantics in Relational Databases by Mapping them to RDF
Across various domains, the relational model for databases is employed extensively for the purpose of storing, managing and retrieving data. The translation, however, of data mode...
Madhav Krishna
ICRA
2005
IEEE
124views Robotics» more  ICRA 2005»
16 years 12 days ago
Analysis of Human Motion for Humanoid Robots
— A great challange in robotics is to make robots more like humans. One important aspect is to make robots move like humans and recognize their motions. Both tasks are based on h...
Jörg Moldenhauer, Ingo Boesnach, Thomas Beth,...
BPM
2005
Springer
101views Business» more  BPM 2005»
16 years 11 days ago
Service Retrieval Based on Behavioral Specifications and Quality Requirements
: The capability to easily find useful services becomes increasingly critical in several fields. In this paper we argue that, in many situations, the service discovery process shou...
Daniela Grigori, Verónika Peralta, Mokrane ...
BPM
2005
Springer
129views Business» more  BPM 2005»
16 years 11 days ago
Transforming BPEL to Petri Nets
We present a Petri net semantics for the Business Process Execution Language for Web Services (BPEL). Our semantics covers the standard behaviour of BPEL as well as the exceptional...
Sebastian Hinz, Karsten Schmidt 0004, Christian St...