Sciweavers

1188 search results - page 114 / 238
» Testing Semantics: Connecting Processes and Process Logics
Sort
View
ICSE
1999
IEEE-ACM
15 years 8 months ago
A Cooperative Approach to Support Software Deployment Using the Software Dock
Software deployment is an evolving collection of interrelated processes such as release, install, adapt, reconfigure, update, activate, deactivate, remove, and retire. The connect...
Richard S. Hall, Dennis Heimbigner, Alexander L. W...
FPL
2003
Springer
81views Hardware» more  FPL 2003»
15 years 9 months ago
A TCP/IP Based Multi-device Programming Circuit
This paper describes a lightweight Field Programmable Gate Array (FPGA) circuit design that supports the simultaneous programming of multiple devices at different locations throug...
David V. Schuehler, Harvey Ku, John W. Lockwood
JMLR
2008
127views more  JMLR 2008»
15 years 4 months ago
Incremental Identification of Qualitative Models of Biological Systems using Inductive Logic Programming
The use of computational models is increasingly expected to play an important role in predicting the behaviour of biological systems. Models are being sought at different scales o...
Ashwin Srinivasan, Ross D. King
FOAL
2009
ACM
15 years 11 months ago
Unweaving the impact of aspect changes in AspectJ
Aspect-oriented programming (AOP) fosters the coding of tangled concerns in separated units that are then woven together in the executable system. Unfortunately, the oblivious nat...
Luca Cavallaro, Mattia Monga
UIC
2009
Springer
15 years 11 months ago
A Framework to Calibrate a MEMS Sensor Network
The Smart Surface1 project aims at designing an integrated micro-manipulator based on an array of micromodules connected with a 2D array topology network. Each micromodule comprise...
Kahina Boutoustous, Eugen Dedu, Julien Bourgeois