Sciweavers

145 search results - page 14 / 29
» A Scenario Description Language Based on Action Frame
Sort
View
ESOP
2007
Springer
14 years 5 months ago
Structured Communication-Centred Programming for Web Services
This paper relates two different paradigms of descriptions of communication behaviour, one focussing on global message flows and another on end-point behaviours, using formal cal...
Marco Carbone, Kohei Honda, Nobuko Yoshida
EDBT
2002
ACM
138views Database» more  EDBT 2002»
14 years 11 months ago
DAML+OIL: A Reason-able Web Ontology Language
Ontologies are set to play a key role in the "Semantic Web", extending syntactic interoperability to semantic interoperability by providing a source of shared and precise...
Ian Horrocks
SIGSOFT
2003
ACM
14 years 11 months ago
Behaviour model elaboration using partial labelled transition systems
State machine based formalisms such as labelled transition systems (LTS) are generally assumed to be complete descriptions m behaviour at some level of abstraction: if a labelled ...
Sebastián Uchitel, Jeff Kramer, Jeff Magee
ICPR
2010
IEEE
14 years 3 months ago
Driver Body-Height Prediction for an Ergonomically Optimized Ingress Using a Single Omnidirectional Camera
Maximizing passengers comfort is an important research topic in the domain of automotive systems engineering. In particular, an automatic adjustment of seat position according to d...
Christian Scharfenberger, Samarjit Chakraborty, Ge...
ESWS
2006
Springer
14 years 2 months ago
On the Semantics of Functional Descriptions of Web Services
Functional descriptions are a central pillar of Semantic Web services. Disregarding details on how to invoke and consume the service, they shall provide a black box description for...
Uwe Keller, Holger Lausen, Michael Stollberg