7103 search results - page 1173 / 1421 » Components and Generative Programming |
156
click to vote
WOWMOM
2006
ACM
16 years 13 days ago
2006
ACM
Sensor networks are used in a variety of application areas for diverse problems from habitat monitoring to military tracking. Whenever they are used to monitor sensitive objects, ...
156
click to vote
AGILEDC
2005
IEEE
16 years 3 days ago
2005
IEEE
Most significant software processes involve a wide range of disciplines, from programming to testing, and from documentation to database development. Unfortunately, agile processe...
178
click to vote
IPPS
2005
IEEE
16 years 2 days ago
2005
IEEE
“MegaProto” is a proof-of-concept prototype for our project “Mega-Scale Computing Based on Low-Power Technology and Workload Modeling”, implementing our key idea that a mi...
299
click to vote
AADEBUG
2005
Springer
16 years 1 days ago
2005
Springer
Code coverage analysis, the process of finding code exercised by a particular set of test inputs, is an important component of software development and verification. Most tradit...
181
click to vote
ISSTA
2004
ACM
15 years 12 months ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...