1675 search results - page 83 / 335 » Compositional Model-Based Design |
108
click to vote
ACSC
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper, we examine the composition of firstclass protocols for multi-agent systems. First-class protocols are protocols that exist as executable specifications that agent...
131
Voted
TIT
2010
14 years 11 months ago
2010
We consider three capacity definitions for composite channels with channel side information at the receiver. A composite channel consists of a collection of different channels with...
126
click to vote
WWW
2005
ACM
16 years 5 months ago
2005
ACM
The recent evolution of Internet, driven by the Web services technology, is extending the role of the Web from a support of information interaction to a middleware for B2B interac...
176
click to vote
HASKELL
2009
ACM
15 years 11 months ago
2009
ACM
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...
161
click to vote
FORMATS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...