1255 search results - page 181 / 251 » A Proof Environment for the Development of Group Communicati... |
SAS
2001
Springer
14 years 4 days ago
2001
Springer
Model checking would answer all finite-state verification problems, if it were not for the notorious state-space explosion problem. A problem of practical importance, which attra...
CORR
2006
Springer
13 years 7 months ago
2006
Springer
During the last decade there has been a huge interest in Grid technologies, and numerous Grid projects have been initiated with various visions of the Grid. While all these visions...
KES
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. Conventional tabletop systems have focused on communication with virtual data, using phicons or physical objects as handles. This approach is versatile, given the full us...
VL
1999
IEEE
14 years 2 hour ago
1999
IEEE
Although there has been considerable research into ways to design visual programming environments to improve the processes of creating new programs and of understanding existing o...
ECIS
2001
13 years 9 months ago
2001
The paper deals with the development of the informational since the IFIP '71 Congress in Ljubljana when the new consciousness evolved to the necessity of nowadays information...