1405 search results - page 179 / 281 » Software engineering for and with artists: a case study |
ICRE
1998
IEEE
14 years 1 months ago
1998
IEEE
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...
COMPSAC
1996
IEEE
14 years 1 months ago
1996
IEEE
In this paper, we are concerned with the problem of designing optimal linear hashing files for orthogonal range retrieval. Through the study of performance expressions, we show th...
APSEC
2007
IEEE
14 years 28 days ago
2007
IEEE
Code implementing a crosscutting concern spreads over many parts of the Linux code. Identifying these code automatically can benefit both the maintainability and evolvability of Li...
APSEC
2006
IEEE
14 years 20 days ago
2006
IEEE
The increasing diffusion of ubiquitous communication infrastructures and physical active objects --like sensors and smart tags-- is motivating the integration of these devices int...
ECOOPWEXCEPTION
2006
Springer
14 years 18 days ago
2006
Springer
It is difficult to write programs that behave correctly in the presence of exceptions. We describe a dataflow analysis for finding a certain class of mistakes made while programs h...