Sciweavers

487 search results - page 51 / 98
» Dynamic Framed Aspects for Dynamic Software Evolution
Sort
View
MPC
2010
Springer
181views Mathematics» more  MPC 2010»
15 years 6 months ago
Process Algebras for Collective Dynamics
d Abstract) Jane Hillston Laboratory for Foundations of Computer Science, The University of Edinburgh, Scotland Quantitative Analysis Stochastic process algebras extend classical p...
Jane Hillston
APSEC
2001
IEEE
15 years 5 months ago
Formal Specification of Mixed Components with Korrigan
Formal specifications are now widely accepted in software development. Recently, the need for a separation of concerns with reference to static and dynamic aspects appeared. Furth...
Christine Choppy, Pascal Poizat, Jean-Claude Royer
ICES
1998
Springer
108views Hardware» more  ICES 1998»
15 years 6 months ago
Evolvable Hardware for Space Applications
This paper focuses on characteristics and applications of evolvable hardware (EHW) to space systems. The motivation for looking at EHW originates in the need for more autonomous ad...
Adrian Stoica, Alex S. Fukunaga, Ken Hayworth, Car...
APCCM
2007
15 years 3 months ago
A Framework for Managing the Evolution of Business Protocols in Web Services
Web services are loosely coupled software components that are published, discovered, and invoked across the Web. As the use of Web services grows, in order to correctly interact w...
Seung Hwan Ryu, Régis Saint-Paul, Boualem B...
PLDI
2003
ACM
15 years 7 months ago
Compile-time dynamic voltage scaling settings: opportunities and limits
With power-related concerns becoming dominant aspects of hardware and software design, significant research effort has been devoted towards system power minimization. Among run-t...
Fen Xie, Margaret Martonosi, Sharad Malik