1255 search results - page 83 / 251 » A Proof Environment for the Development of Group Communicati... |
RSP
1999
IEEE
14 years 1 months ago
1999
IEEE
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and ...
JIPS
2008
13 years 9 months ago
2008
: Human-Robot Interaction (HRI), based on already well-researched Human-Computer Interaction (HCI), has been under vigorous scrutiny since recent developments in robot technology. ...
CNSR
2005
IEEE
14 years 2 months ago
2005
IEEE
A framework has been developed as a basis for design and implementation of adaptive Web systems. This framework and the respective architecture support the idea of high-level synt...
JAVA
2000
Springer
14 years 15 days ago
2000
Springer
Java is an attractive environment for writing portable message passing parallel programs. Considerable work in message passing interface bindings for the C and Fortran languages h...
CGVR
2008
13 years 10 months ago
2008
Abstract--The world globalization process, the increasing demand of communication and information technologies creates an enormous demand for collaborative applications. Aiming to ...