2836 search results - page 344 / 568 » Model Checking for Software Architectures |
161
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Addressing both standby and active power is a major challenge in developing System-on-Chip designs for batterypowered products. Powering off sections of logic or memorie...
149
click to vote
ARCS
2005
Springer
16 years 6 days ago
2005
Springer
In this contribution we present a novel general model for adaptive processors with organic features. We describe its basic principle of operation. The adaptive operations that are ...
183
click to vote
BIRTHDAY
2003
Springer
15 years 12 months ago
2003
Springer
Software components realising the graphical user interface (GUI) of a highly interactive system or the user interface of a Web application form an essential part of the entire impl...
188
click to vote
CAISE
2003
Springer
15 years 12 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...
156
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
Many emerging semantic web applications include ontologies from one set of authors and instance data from another (often much larger) set of authors. Often ontologies are reused a...