3611 search results - page 614 / 723 » Computer Supported Collaborative Research |
116
Voted
LICS
2007
IEEE
15 years 9 months ago
2007
IEEE
We introduce symmetric Datalog, a syntactic restriction of linear Datalog and show that its expressive power is exactly that of restricted symmetric monotone Krom SNP. The deep re...
108
click to vote
ICSOC
2007
Springer
15 years 8 months ago
2007
Springer
Software systems built by composing existing services are more and more capturing the interest of researchers and practitioners. The envisaged long term scenario is that services, ...
112
Voted
OTM
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Over the last years, research efforts have led the way to embed computation into the environment. Much attention is drawn to technologies supporting dynamicity and mobil...
119
Voted
HICSS
2006
IEEE
15 years 8 months ago
2006
IEEE
Digital games have the ability to engage both children and adults alike. We are exploring the use of games for children with long term treatment regimes, where motivation for comp...
96
Voted
ICPADS
2006
IEEE
15 years 8 months ago
2006
IEEE
Using simulations of a complex system such as a Web Application Server provides us with a tool that allows the running of tests without using the resources needed in a real system...