Sciweavers

6794 search results - page 938 / 1359
» Semantics of Visual Languages
Sort
View
AEI
2007
112views more  AEI 2007»
15 years 7 months ago
A p2p based service flow system with advanced ontology-based service profiles
A peer-to-peer (p2p) based service flow management system, SwinDeW-S, could support decentralised Web service composition, deployment and enactment. However, traditional workflow ...
Jun Shen, Yun Yang, Jun Yan
CONSTRAINTS
2006
70views more  CONSTRAINTS 2006»
15 years 6 months ago
Stochastic Constraint Programming: A Scenario-Based Approach
To model combinatorial decision problems involving uncertainty and probability, we introduce scenario based stochastic constraint programming. Stochastic constraint programs conta...
Armagan Tarim, Suresh Manandhar, Toby Walsh
ENTCS
2006
231views more  ENTCS 2006»
15 years 6 months ago
SaveCCM: An Analysable Component Model for Real-Time Systems
Component based development is a promising approach for embedded systems. Typical for embedded software is the presence of resource constraints in multiple dimensions. An essentia...
Jan Carlson, John Håkansson, Paul Pettersson
FUIN
2006
96views more  FUIN 2006»
15 years 6 months ago
A Component Coordination Model Based on Mobile Channels
In this paper we present a coordination model for component-based software systems based on the notion of mobile channels, define it in terms of a compositional trace-based semanti...
Juan Guillen Scholten, Farhad Arbab, Frank S. de B...
IANDC
2006
113views more  IANDC 2006»
15 years 6 months ago
Automata and fixed point logic: A coalgebraic perspective
This paper generalizes existing connections between automata and logic to a coalgestraction level. Let F : Set Set be a standard functor that preserves weak pullbacks. We introdu...
Yde Venema