278 search results - page 43 / 56 » Formal Composition of Distributed Scenarios |
SEMWEB
2007
Springer
14 years 3 months ago
2007
Springer
SMART (Semantic web information Management with automated Reasoning Tool) is an open-source project, which aims to provide intuitive tools for life scientists for represent, integr...
RTSS
2003
IEEE
14 years 2 months ago
2003
IEEE
In this paper, we focus on addressing the tradeoffs between timeliness, accuracy and cost for applications requiring real-time information collection in distributed real-time envi...
AINA
2009
IEEE
14 years 2 months ago
2009
IEEE
Device centric Service-oriented Architectures have shown to be applicable in the automation industry for interconnecting manufacturing devices and enterprise systems, thus, establ...
ENTCS
2006
13 years 9 months ago
2006
The provision of health-care services and home assistance to the elderly and chronic patients is a challenging application scenario for Web Services composition, which support the...
COMPSAC
2002
IEEE
14 years 1 months ago
2002
IEEE
UML and MSC are widely used by software practitioners. SDL is an ITU standard language for telecommunications software specification. It has a formal semantics, and is supported b...