586 search results - page 100 / 118 » Automated Reasoning on Aspects Interactions |
138
click to vote
MIDDLEWARE
2004
Springer
15 years 5 months ago
2004
Springer
In mobile ad hoc networks, synchronous communication mechanisms appear to be not suitable, since these assume that the involved entities are present at the same time during the in...
103
Voted
ICSE
1999
IEEE-ACM
15 years 4 months ago
1999
IEEE-ACM
Software architectures promote development focused on modular building blocks and their interconnections. Since architecture-level components often contain complex functionality, ...
89
Voted
ASPDAC
2007
ACM
15 years 4 months ago
2007
ACM
In a realistic design flow, circuit and system optimizations must interact with physical aspects of the design. For example, improvements in timing and power may require replacing ...
101
Voted
FORTE
2001
15 years 1 months ago
2001
The Algebra of Communicating Shared Resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the ...
119
Voted
ISF
2007
15 years 10 days ago
2007
This paper presents a conceptual framework for service modelling and refinement, called the COSMO (COnceptual Service MOdelling) framework. This framework provides concepts to mode...