Sciweavers

119 search results - page 10 / 24
» Synthesizing Continuous Deployment Practices Used in Softwar...
Sort
View
BALT
2006
15 years 2 months ago
Pattern Repositories for Software Engineering Education
Abstract. Modern software engineering attacks its complexity problems by applying well-understood development principles. In particular, the systematic adoption of design patterns ...
Hans-Werner Sehring, Sebastian Bossung, Patrick Hu...
FMICS
2010
Springer
14 years 10 months ago
Correctness of Sensor Network Applications by Software Bounded Model Checking
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
Frank Werner, David Faragó
CHI
2004
ACM
15 years 10 months ago
Lessons learned using ubiquitous sensors for data collection in real homes
Interface design for the home requires a realistic understanding of the complexity and richness of the human activities that go on there; it is our goal to develop tools that enab...
Jennifer Beaudin, Stephen S. Intille, Emmanuel Mun...
WOSP
2004
ACM
15 years 3 months ago
Early-stage performance modeling and its application for integrated embedded control software design
Most of current embedded control software (ECSW) development techniques deal only with performance specifications during the early software design phase and delay the modeling and...
Shige Wang, Kang G. Shin
CORR
2004
Springer
121views Education» more  CORR 2004»
14 years 10 months ago
An agent-based intelligent environmental monitoring system
Fairly rapid environmental changes call for continuous surveillance and on-line decision making. There are two main areas where IT technologies can be valuable. In this paper we pr...
Ioannis N. Athanasiadis, Pericles A. Mitkas