Sciweavers

5477 search results - page 190 / 1096
» Contexts, Domains, and Software
Sort
View
SE
2007
15 years 8 months ago
A domain-specific language for industrial automation
Abstract: Software development is a complex task and therefore requires professional programming skills. Restricting the focus to a specific problem domain allows the application o...
Stefan Preuer
CSMR
2007
IEEE
16 years 1 months ago
The Sisyphus Continuous Integration System
Integration hell is a prime example of software evolution gone out of control. The Sisyphus continuous integration system is designed to prevent this situation in the context of c...
Tijs van der Storm
AOSD
2007
ACM
15 years 11 months ago
A direction for research on virtual machine support for concern composition
This position paper suggests research directions in the area of virtual machines supporting aspect-oriented capabilities in the context of object-oriented languages. Categories an...
Harold Ossher
TKDE
2012
208views Formal Methods» more  TKDE 2012»
13 years 9 months ago
A Knowledge-Driven Approach to Activity Recognition in Smart Homes
Abstract—This paper introduces a knowledge-driven approach to real-time, continuous activity recognition based on multisensor data streams in smart homes. The approach goes beyon...
Liming Chen, Chris D. Nugent, Hui Wang
ICECCS
2007
IEEE
86views Hardware» more  ICECCS 2007»
15 years 11 months ago
What Use is Verified Software?
The world at large cares little for verified software; what it cares about are trustworthy and cost-effective systems that do their jobs well. We examine the value of verified sof...
John M. Rushby