3920 search results - page 637 / 784 » Challenges in Software Evolution |
148
click to vote
AINA
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract — Governing business compliance with regulations, laws, best practices, contracts, and the like is not an easy task, and so far there are only limited software products ...
110
click to vote
BSN
2009
IEEE
15 years 11 months ago
2009
IEEE
—A biomonitoring application running on wireless BAN has stringent timing and energy requirements. Developing such applications therefore presents unique challenges in both hardw...
186
click to vote
SENSYS
2009
ACM
15 years 11 months ago
2009
ACM
bstract: Wildlife and Environmental Monitoring using RFID and WSN Technology Vladimir Dyo1, Stephen A. Ellwood2, David W. Macdonald2, Andrew Markham3 Cecilia Mascolo4, Bence P´asz...
171
click to vote
CCS
2009
ACM
15 years 11 months ago
2009
ACM
Open distributed systems such as service oriented architecture and cloud computing have emerged as promising platforms to deliver software as a service to users. However, for many...
120
click to vote
TACAS
2009
Springer
15 years 11 months ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...