Sciweavers

1653 search results - page 109 / 331
» Directed tree-width examples
Sort
View
SEMWEB
2005
Springer
15 years 7 months ago
Choreography in IRS-III - Coping with Heterogeneous Interaction Patterns in Web Services
Abstract. In this paper we describe how we handle heterogeneity in web service interaction through a choreography mechanism that we have developed for IRS-III. IRS-III is a framewo...
John Domingue, Stefania Galizia, Liliana Cabral
SPW
2005
Springer
15 years 7 months ago
Multi-channel Protocols
We examine several ad-hoc pairing protocols that strengthen their radio exchanges with additional transmissions over another channel, for example a screen showing graphically encod...
Ford-Long Wong
TARK
2005
Springer
15 years 7 months ago
Semantics for multi-agent only knowing: extended abstract
s for Multi-Agent Only Knowing (extended abstract) Arild Waaler1,2 and Bjørnar Solhaug3,4 1 Finnmark College, Norway 2 Dep. of Informatics, University of Oslo, Norway 3 SINTEF ICT...
Arild Waaler, Bjørnar Solhaug
APN
2004
Springer
15 years 7 months ago
An Approach to Distributed State Space Exploration for Coloured Petri Nets
Abstract. We present an approach and associated computer tool support for conducting distributed state space exploration for Coloured Petri Nets (CPNs). The distributed state space...
Lars Michael Kristensen, Laure Petrucci
ASIAN
2004
Springer
107views Algorithms» more  ASIAN 2004»
15 years 7 months ago
A Framework for Compiler Driven Design Space Exploration for Embedded System Customization
Designing custom solutions has been central to meeting a range of stringent and specialized needs of embedded computing, along such dimensions as physical size, power consumption, ...
Krishna V. Palem, Lakshmi N. Chakrapani, Sudhakar ...