4917 search results - page 273 / 984 » Software Engineering is Not Computer Science |
114
click to vote
GI
2007
Springer
15 years 9 months ago
2007
Springer
: In addition to the growing complexity of software systems, test effort takes increasing amounts of time and correspondingly more money. Testing costs may be reduced without compr...
124
Voted
SPIN
2007
Springer
15 years 9 months ago
2007
Springer
This paper describes a set of verification components that open the way to perform on-the-fly software model checking with the Cadp toolbox, originally designed for verifying the...
111
Voted
GI
2004
Springer
15 years 8 months ago
2004
Springer
: In this paper we describe one of the authors’ experiences working for an IT service provider in an SME environment. The paper starts with an analysis of the factors typical for...
139
click to vote
GI
2009
Springer
15 years 1 months ago
2009
Springer
: Video Streams of optical camera system are analysed by a video processing software which detects moving objects in the video. They are presented in image pixel coordinates. With ...
153
Voted
MOBIDE
2003
ACM
15 years 8 months ago
2003
ACM
The common vision of pervasive computing environments requires a very large range of devices and software components to interoperate seamlessly. From the assumption that these dev...