13489 search results - page 652 / 2698 » Operating System |
200
click to vote
CAV
2005
Springer
16 years 21 days ago
2005
Springer
Statistical methods to model check stochastic systems have been, thus far, developed only for a sublogic of continuous stochastic logic (CSL) that does not have steady state operat...
183
click to vote
PPAM
2005
Springer
16 years 20 days ago
2005
Springer
The paper presents various transparency issues that have to be considered during development of object-oriented Grid applications based on virtual repositories. Higher-level transp...
185
click to vote
RSFDGRC
2005
Springer
16 years 20 days ago
2005
Springer
We present the Distributed Executor for RSES (DIXER) which is a supplementary software for the Rough Set Exploration System (RSES). It takes an advantage of grid computing paradigm...
196
click to vote
CMMR
2004
Springer
16 years 17 days ago
2004
Springer
I describe here a real-time vision-based gesture recognition system used in interactive computer music performances. The performer moves his hands in a video-camera capture area, t...
174
click to vote
ATAL
2003
Springer
16 years 12 days ago
2003
Springer
Commitments model important aspects of agent interactions, especially those arising in e-business. A small number of patterns of commitments accommodate a variety of realistic int...