339 search results - page 29 / 68 » Abstracting Interactions Based on Message Sets |
102
Voted
ECBS
2009
IEEE
15 years 4 months ago
2009
IEEE
We present and formalize concepts for the structured specification of system behavior based on services. Services are patterns of interaction between reactive components, thus sup...
82
Voted
IASTEDSE
2004
15 years 1 months ago
2004
The notion of service enjoys increasing popularity as a means for structuring complex distributed systems. Most definitions of the term service, however, refer only to syntactic l...
111
Voted
RECOMB
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. With ever increasing amount of available data on protein-protein interaction (PPI) networks and research revealing that these networks evolve at a modular level, discover...
98
Voted
ICFP
2007
ACM
15 years 4 months ago
2007
ACM
In this paper we introduce the iTask system: a set of combinators to specify work flows in a pure functional language at a very high level of abstraction. Work flow systems are au...
120
Voted
SEUS
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract— This paper presents SW synthesis using Embedded System Environment (ESE), a tool set for design of multicore embedded systems. We propose a classification of multicore...