2948 search results - page 171 / 590 » More Principled Design of Pervasive Computing Systems |
136
click to vote
CHI
2007
ACM
16 years 4 months ago
2007
ACM
The OpenChoice system, currently in development, is an open source, open access community rating and filtering service that would improve upon the utility of currently available W...
107
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract--This paper proposes a method for deriving formal specifications of systems. To accomplish this task we pass through a non trivial number of steps, concepts and tools wher...
143
click to vote
CIM
2011
14 years 11 months ago
2011
We propose to return to the roots of Artificial/Computational Intelligence applicability to board games domain by attempting to mimic human way of playing (or human intelligence ...
112
click to vote
USENIX
1994
15 years 5 months ago
1994
The NetWare operating system is designed specifically to provide service to clients over a computer network. This design has resulted in a system that differs in several respects ...
140
click to vote
ISORC
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper deals with the automatic dependability analysis of systems designed using UML. An automatic transformations is defined for the generation of models to capture systems d...