8874 search results - page 1624 / 1775 » A New Implementation of Automath |
127
click to vote
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
— Ubiquitous robots need the ability to adapt their behaviour to the changing situations and demands they will encounter during their lifetimes. In particular, non-technical user...
160
click to vote
INFOCOM
2007
IEEE
15 years 10 months ago
2007
IEEE
—Due to the open nature of a sensor network, it is relatively easy for an adversary to eavesdrop and trace packet movement in the network in order to capture the receiver physica...
142
click to vote
ISCA
2007
IEEE
15 years 10 months ago
2007
IEEE
High availability is an increasingly important requirement for enterprise systems, often valued more than performance. Systems designed for high availability typically use redunda...
146
click to vote
ISCA
2007
IEEE
15 years 10 months ago
2007
IEEE
Indirect branches have become increasingly common in modular programs written in modern object-oriented languages and virtualmachine based runtime systems. Unfortunately, the pred...
139
click to vote
IWPSE
2007
IEEE
15 years 10 months ago
2007
IEEE
The starting point for software evolution is usually a change request, expressing the new or updated requirements on the delivered system. The requirements specified in a change ...