2594 search results - page 475 / 519 » Environment as Active Support of Interaction |
SIGSOFT
2004
ACM
14 years 1 months 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...
GCC
2004
Springer
14 years 1 months ago
2004
Springer
Real-time rendering of complex 3D scene on mobile devices is a challenging task. The main reason is that mobile devices have limited computational capabilities and are lack of powe...
ICSOC
2004
Springer
14 years 1 months ago
2004
Springer
Emerging Web services standards enable the development of large-scale applications in open environments. In particular, they enable services to be dynamically bound. However, curr...
MKM
2004
Springer
14 years 29 days ago
2004
Springer
Abstract. The Mizar system is equipped with a very large library containing tens of thousands of theorems and thousands of deļ¬nitions, which often use overloaded notation. For eļ...
SPIN
2004
Springer
14 years 29 days ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...