1288 search results - page 201 / 258 » On Analysis of Design Component Contracts: A Case Study |
114
click to vote
KBSE
2007
IEEE
15 years 7 months ago
2007
IEEE
Monitoring the satisfaction of software requirements and diagnosing what went wrong in case of failure is a hard problem that has received little attention in the Software and Req...
166
Voted
EMNETS
2007
15 years 5 months ago
2007
Imagers are an increasingly significant source of sensory observations about human activity and the urban environment. ImageScape is a software tool for processing, clustering, an...
132
click to vote
GLOBECOM
2008
IEEE
15 years 8 months ago
2008
IEEE
— Host resources (e.g., CPU time and buffer space) in mobile ad hoc networks must be shared between the devices own applications and networking functions, such as routing and pac...
129
click to vote
EMSOFT
2005
Springer
15 years 7 months ago
2005
Springer
Power leakage constitutes an increasing fraction of the total power consumption in modern semiconductor technologies. Recent research efforts have tried to integrate architecture...
108
click to vote
CBMS
2008
IEEE
15 years 8 months ago
2008
IEEE
Privacy and security are critical requirements for using patient profiles in distributed healthcare environments. The amalgamation of new information technology with traditional ...