Sciweavers

6106 search results - page 324 / 1222
» Modes for Software Architectures
Sort
View
140
Voted
CORR
2010
Springer
84views Education» more  CORR 2010»
15 years 6 months ago
Constructing Active Architectures in the ArchWare ADL
Software that cannot change is condemned to atrophy: it cannot accommodate the constant revision and renegotiation of its business goals nor intercept the potential of new technol...
Ronald Morrison, Graham N. C. Kirby, Dharini Balas...
CL
2008
Springer
15 years 6 months ago
Automatic synthesis and verification of real-time embedded software for mobile and ubiquitous systems
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for m...
Pao-Ann Hsiung, Shang-Wei Lin
FPL
2007
Springer
105views Hardware» more  FPL 2007»
16 years 27 days ago
An Execution Model for Hardware/Software Compilation and its System-Level Realization
We introduce a new execution model for orchestrating the interaction between the conventional processor and the reconfigurable compute unit in adaptive computer systems. We then ...
Holger Lange, Andreas Koch
CAISE
2003
Springer
15 years 12 months ago
Software Confederations and Alliances
Global processes imply that the information systems have the architecture of virtual peer-to-peer networks of autonomous permanent services. It is typical for IS supporting e-gover...
Jaroslav Král, Michal Zemlicka
ISSS
2000
IEEE
155views Hardware» more  ISSS 2000»
15 years 11 months ago
Intervals in Software Execution Cost Analysis
Timing and power consumption of embedded systems are state and input data dependent. Formal analysis of such dependencies leads to intervals rather than single values. These inter...
Fabian Wolf, Rolf Ernst