5972 search results - page 1101 / 1195 » Extending Design Environments to Software Architecture Desig... |
129
click to vote
POPL
2012
ACM
13 years 9 months ago
2012
ACM
Despite recent successes, large-scale proof development within proof assistants remains an arcane art that is extremely timeconsuming. We argue that this can be attributed to two ...
123
click to vote
ISCA
2012
IEEE
13 years 4 months ago
2012
IEEE
Recent improvements in architectural supports for virtualization have extended traditional hardware page walkers to traverse nested page tables. However, current twodimensional (2...
WWW
2004
ACM
16 years 2 months ago
2004
ACM
The ability of the Web to share data regardless of geographical location raises a new issue called remote authoring. With the Internet and Web browsers being independent of hardwa...
157
click to vote
SENSYS
2009
ACM
15 years 8 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...
235
click to vote
ICAC
2009
IEEE
15 years 8 months ago
2009
IEEE
Increasingly, applications need to be able to self-reconfigure in response to changing requirements and environmental conditions. Autonomic computing has been proposed as a means...