Sciweavers

7920 search results - page 338 / 1584
» The Swarm Application Framework
Sort
View
IEE
2007
100views more  IEE 2007»
15 years 6 months ago
Designing and constructing modifiable middleware using component frameworks
Because of the increasingly diverse and dynamic environments in which they must operate, modern middleware platforms need to explicitly support modifiability. Modifiability should...
Nikos Parlavantzas, Geoffrey Coulson
TVLSI
2008
124views more  TVLSI 2008»
15 years 6 months ago
A Refinement-Based Compositional Reasoning Framework for Pipelined Machine Verification
Abstract--We present a refinement-based compositional framework for showing that pipelined machines satisfy the same safety and liveness properties as their non-pipelined specifica...
Panagiotis Manolios, Sudarshan K. Srinivasan
164
Voted
EWC
2002
86views more  EWC 2002»
15 years 6 months ago
On Object-Oriented Frameworks and Coordinate Free Formulations of PDEs
An object-oriented (OO) framework for Partial tial Equations (PDEs) provides software abstractions for numerical simulation of PDEs. The design of such frameworks is not trivial, a...
Magne Haveraaen, Hans Z. Munthe-Kaas, Krister &Ari...
CHI
2008
ACM
16 years 7 months ago
Impromptu: a new interaction framework for supporting collaboration in multiple display environments and its field evaluation fo
We present a new interaction framework for collaborating in multiple display environments (MDEs) and report results from a field study investigating its use in an authentic work s...
Jacob T. Biehl, William T. Baker, Brian P. Bailey,...
KBSE
2008
IEEE
16 years 1 months ago
SpotWeb: Detecting Framework Hotspots and Coldspots via Mining Open Source Code on the Web
—Software developers often face challenges in reusing open source frameworks due to several factors such as the framework complexity and lack of proper documentation. In this pap...
Suresh Thummalapenta, Tao Xie