5810 search results - page 794 / 1162 » An Approach to Programming Based on Concepts |
232
click to vote
SOSYM
2002
15 years 6 months ago
2002
Abstract. There is rapidly growing momentum for web enabled agents that reason about and dynamically integrate the appropriate knowledge and services at run-time. The dynamic integ...
218
click to vote
ICSM
2009
IEEE
15 years 4 months ago
2009
IEEE
Software can be considered a live entity, as it undergoes many alterations throughout its lifecycle. Furthermore, developers do not usually retain a good design in favor of adding...
225
click to vote
PPDP
2005
Springer
16 years 8 days ago
2005
Springer
When addressing the formal validation of generated software, two main alternatives consist either to prove the correctness of compilers or to directly validate the generated code....
184
Voted
DMSN
2004
ACM
16 years 6 days ago
2004
ACM
Sensor networks present a number of novel programming challenges for application developers. Their inherent limitations of computational power, communication bandwidth, and energy...
201
click to vote
ISSTA
2004
ACM
16 years 6 days ago
2004
ACM
The notion that certain procedures are atomic is a fundamental correctness property of many multithreaded software systems. A procedure is atomic if for every execution there is a...