296 search results - page 23 / 60 » Modeling in an Architectural Variability Description Languag... |
119
click to vote
ESWS
2007
Springer
15 years 5 months ago
2007
Springer
Discovery is a central reasoning task in service-oriented architectures, concerned with detecting Web services that are usable for solving a given request. This paper presents two ...
CAISE
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. Multi-Agent Systems (MAS) architectures are gaining popularity over traditional ones for building open, distributed or evolving software. To formally define system archit...
103
click to vote
EUROMICRO
2009
IEEE
15 years 6 months ago
2009
IEEE
—Real-time systems are increasingly used in dynamic changing environments with variable user needs, hosting real-time applications ranging in number and nature. This paper propos...
FDL
2008
IEEE
15 years 1 months ago
2008
IEEE
In this paper, we propose the design methodology for communication channel templates from formal specification to RTL description. In this flow, design and verification start from...
ISLPED
1996
ACM
15 years 3 months ago
1996
ACM
We present an architectural power simulation technique for PLA-based controllers. The contributions of this work are (1) a simple but ecient power characterization of PLAs; and (2...