Sciweavers

2609 search results - page 244 / 522
» Models for Global Constraint Applications
Sort
View
COORDINATION
2010
Springer
15 years 10 months ago
Compositional Construction of Real-Time Dataflow Networks
Increasing sizes of present-day distributed software systems call for coordination models which are both modular and scalable. Precise modelling of real-life applications further r...
Stephanie Kemper
ENTCS
2008
64views more  ENTCS 2008»
15 years 6 months ago
Service Discovery and Negotiation With COWS
To provide formal foundations to current (web) services technologies, we put forward using COWS, a process calculus for specifying, combining and analysing services, as a uniform ...
Alessandro Lapadula, Rosario Pugliese, Francesco T...
SEMWEB
2007
Springer
16 years 20 days ago
Opportunistic Reasoning for the Semantic Web: Adapting Reasoning to the Environment
Despite the efforts devoted so far, the Semantic Web vision appears to be an eluding target. We propose a paradigm shift for the Semantic Web centred around the pragmatics of deve...
Carlos Pedrinaci, Tim Smithers, Amaia Bernaras
CONEXT
2006
ACM
16 years 16 days ago
Compositional control of IP media
Abstract— In many IP media services, the media channels are point-to-point, dynamic, and set up with the participation of one or more application servers, even though the media p...
Pamela Zave, Eric Cheung
FMCO
2003
Springer
162views Formal Methods» more  FMCO 2003»
15 years 11 months ago
An MDA Approach to Tame Component Based Software Development
Abstract. The aim of this paper is to show how the Model Driven Architecture (MDA) can be used in relation with component based software engineering. A software component only exhi...
Jean-Marc Jézéquel, Olivier Defour, ...