Sciweavers

1163 search results - page 71 / 233
» Concurrent Subspaces Analysis
Sort
View
CHI
1993
ACM
15 years 3 months ago
A design space for multimodal systems: concurrent processing and data fusion
Multimodal interaction enables the user to employ different modalities such as voice, gesture and typing for communicating with a computer. This paper presents an analysis of the ...
Laurence Nigay, Joëlle Coutaz
VLDB
2007
ACM
161views Database» more  VLDB 2007»
15 years 5 months ago
Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic
The recent upsurge in the interest in Semantic Web services and the high-profile projects such as the WSMO, OWLS, and SWSL, have drawn attention to the importance of logic-based ...
Dumitru Roman, Michael Kifer
ICSE
2001
IEEE-ACM
15 years 4 months ago
Designing Concurrent, Distributed, and Real-Time Applications with UML
Object-oriented concepts are crucial in software design because they address fundamental issues of adaptation and evolution. With the proliferation of object-oriented notations an...
Hassan Gomaa
ACIIDS
2010
IEEE
171views Database» more  ACIIDS 2010»
15 years 2 months ago
Evolving Concurrent Petri Net Models of Epistasis
Abstract. A genetic algorithm is used to learn a non-deterministic Petri netbased model of non-linear gene interactions, or statistical epistasis. Petri nets are computational mode...
Michael Mayo, Lorenzo Beretta
JCS
2007
141views more  JCS 2007»
14 years 11 months ago
Compositional information flow security for concurrent programs
We present a general unwinding framework for the definition of information flow security properties of concurrent programs, described in a simple imperative language enriched wi...
Annalisa Bossi, Carla Piazza, Sabina Rossi