Sciweavers

826 search results - page 89 / 166
» Resolving Concurrent Interactions
Sort
View
122
Voted
IEEEARES
2010
IEEE
15 years 10 months ago
Formalization of Viruses and Malware Through Process Algebras
Abstract—Abstract virology has seen the apparition of successive viral models, all based on Turing-equivalent formalisms. Considering recent malware, these are only partially cov...
Grégoire Jacob, Eric Filiol, Hervé D...
CONCUR
2004
Springer
15 years 8 months ago
Resource Control for Synchronous Cooperative Threads
We develop new methods to statically bound the resources needed for the execution of systems of concurrent, interactive threads. Our study is concerned with a synchronous model of ...
Roberto M. Amadio, Silvano Dal-Zilio
DSVIS
2003
Springer
15 years 8 months ago
MIKE: A Multimodal Cinematographic Editor for Virtual Worlds
Abstract. We present an interface that allows creating camera scripts and storyboards for virtual scenes through a multimodal combination of speech and gestures. Users can specify ...
Bruno Rodrigues de Araújo, André M. ...
METRICS
2002
IEEE
15 years 8 months ago
Testability Analysis of a UML Class Diagram
Design-for-testability is a very important issue in software engineering. It becomes crucial in the case of OO designs where control flows are generally not hierarchical, but are d...
Benoit Baudry, Yves Le Traon, Gerson Sunyé
HICSS
2000
IEEE
149views Biometrics» more  HICSS 2000»
15 years 7 months ago
CMC and the Question of Democratisation: A University Field Study
The potential of Computer-Mediated Communication (CMC) to enable new forms of social interaction and foster democratisation of decision making has raised much interest but has bee...
Dubravka Cecez-Kecmanovic, Lesley Treleaven, Debra...