4377 search results - page 759 / 876 » Application Driven Software Development |
164
click to vote
ICSE
2007
IEEE-ACM
15 years 7 months ago
2007
IEEE-ACM
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...
112
click to vote
PERCOM
2005
ACM
16 years 1 months ago
2005
ACM
In the rapidly developing field of sensor networks, bridging the gap between the applications and the hardware presents a major challenge. Although middleware is one solution, it ...
117
click to vote
TOOLS
2009
IEEE
15 years 8 months ago
2009
IEEE
Single inheritance often forces developers to duplicate code and logic. This widely recognized situation affects both business code and tests. In a large and complex application w...
105
click to vote
DATE
2006
IEEE
15 years 7 months ago
2006
IEEE
Cutting-edge applications of future embedded systems demand highest processor performance with low power consumption to get acceptable battery-life times. Therefore, low power opt...
118
click to vote
MIDDLEWARE
2005
Springer
15 years 7 months ago
2005
Springer
The vision of pervasive or ubiquitous computing, conceived by Mark Weiser, foresees a world where computing is embedded in every day objects. Such objects interact with each other...