686 search results - page 67 / 138 » Behavior Protocols for Software Components |
101
click to vote
ICFEM
2010
Springer
14 years 9 months ago
2010
Springer
Designing concurrent or distributed systems with complex architectures while preserving a set of high-level requirements through all design steps is not a trivial task. Building up...
CODES
2001
IEEE
15 years 3 months ago
2001
IEEE
This paper presents a practical approach to communication synthesis for hardware/software system specified as tasks communicating through lossless blocking channels. It relies on ...
100
click to vote
FASE
2009
Springer
15 years 3 months ago
2009
Springer
Model checking tools based on the iterative refinement of predicate abstraction (e.g., Slam and Blast) often feature a specification language for expressing complex behavior rules....
105
click to vote
AOSD
2005
ACM
15 years 5 months ago
2005
ACM
In this paper we propose an extension to JAsCo for supporting Adaptive Programming in a Component-Based Software Development context. JAsCo is an aspect-oriented programming langu...
EUROMICRO
2000
IEEE
15 years 4 months ago
2000
IEEE
This paper discusses a group coordination architecture to support Internet-wide distributed collaboration in the context of legacy Internet protocols. Group coordination in distri...