Sciweavers

4286 search results - page 165 / 858
» Formalizing Service Interactions
Sort
View
ESWS
2006
Springer
15 years 10 months ago
Matching Semantic Service Descriptions with Local Closed-World Reasoning
Abstract. Semantic Web Services were developed with the goal of automating the integration of business processes on the Web. The main idea is to express the functionality of the se...
Stephan Grimm, Boris Motik, Chris Preist
GCC
2007
Springer
15 years 8 months ago
Toward a Logical Architecture for Situation Dependent Information Services with Surrounding Awareness
In recent years, the rapid growth of m-commerce is being driven by various emerging mobile applications and services. Among them, mobile information service is considered to be on...
Xiaojun Ding, Junichi Iijima
IDMS
1999
Springer
106views Multimedia» more  IDMS 1999»
15 years 10 months ago
A Generic Scheme for the Recording of Interactive Media Streams
Interactive media streams with real-time characteristics, such as those produced by shared whiteboards, distributed Java applets or shared VRML viewers, are rapidly gaining importa...
Volker Hilt, Martin Mauve, Christoph Kuhmünch...
EMSOFT
2005
Springer
15 years 12 months ago
Using separation of concerns for embedded systems design
systems are commonly abstracted as collections of interacting components. This perspective has lead to the insight that component behaviors can be defined separately from admissi...
Ethan K. Jackson, Janos Sztipanovits
FMCAD
2000
Springer
15 years 10 months ago
Visualizing System Factorizations with Behavior Tables
Abstract. Behavior tables are a design formalization intended to support interactive design derivation for hardware and embedded systems. It is a reformulation of the DDD transform...
Alex Tsow, Steven D. Johnson