1448 search results - page 147 / 290 » From Requirements to Code Revisited |
140
click to vote
CASES
2004
ACM
15 years 7 months ago
2004
ACM
Asynchronous Software Thread Integration (ASTI) provides fine-grain concurrency in real-time threads by statically scheduling (integrating) code from primary threads into secondar...
194
Voted
SIGMOD
2009
ACM
16 years 4 months ago
2009
ACM
Mashup is a new application development approach that allows users to aggregate multiple services to create a service for a new purpose. Even if the Mashup approach opens new and ...
139
click to vote
EWSN
2004
Springer
16 years 3 months ago
2004
Springer
This paper describes a novel routing mechanism for a network of highly mobile sensor nodes that routes data over dynamically changing topologies, using only information from neares...
119
Voted
ICCAD
2005
IEEE
16 years 25 days ago
2005
IEEE
Abstract— In bounded model checking (BMC)-based verification flows lack of reachability constraints often leads to false negatives. At present, it is daily practice of a veri...
140
Voted
AINA
2009
IEEE
15 years 10 months ago
2009
IEEE
The validation of software quality metrics lacks statistical significance. One reason for this is that the data collection requires quite some effort. To help solve this problem,...