778 search results - page 126 / 156 » From Public Views to Private Views - Correctness-by-Design f... |
ADBIS
2005
Springer
14 years 29 days ago
2005
Springer
Abstract. Quality of software has growing role of the modern software engineering work. Typical current trends in the development process are the dominating role of quality systems...
IUI
2004
ACM
14 years 25 days ago
2004
ACM
People are performing increasingly complicated actions on the web, such as automated purchases involving multiple sites. Things often go wrong, however, and it can be difficult to...
SIGSOFT
2004
ACM
14 years 25 days ago
2004
ACM
Rapid advances in wireless networking technologies have enabled mobile devices to be connected anywhere and anytime. While roaming, applications on these devices dynamically disco...
HUMAN
2003
Springer
14 years 19 days ago
2003
Springer
Recent advances in wireless networking technologies enabled nomadic users connected to the Internet anywhere from the outdoor environments such as airport, hotel, subway station, o...
ICVS
2003
Springer
14 years 19 days ago
2003
Springer
We consider typical manipulation tasks in terms of a service robot framework. Given a task at hand, such as ”Pick up the cup from the dinner table”, we present a number of diff...