Sciweavers

2175 search results - page 116 / 435
» Studying the Characteristics of a
Sort
View
CONCUR
2004
Springer
15 years 11 months ago
An Extensional Spatial Logic for Mobile Processes
Existing spatial logics for concurrency are intensional, in the sense that they induce an equivalence that coincides with structural congruence. In this work, we study a contextual...
Daniel Hirschkoff
FQAS
2004
Springer
86views Database» more  FQAS 2004»
15 years 11 months ago
Retrieval Effectiveness of Written and Spoken Queries: An Experimental Evaluation
With the fast growing speech technologies, the world is emerging to a new speech era. Speech recognition has now become a practical technology for real world applications. While so...
Heather Du, Fabio Crestani
ICPPW
2002
IEEE
15 years 11 months ago
Experiments with Parallelizing a Tribology Application
Different parallelization methods vary in their system requirements, programming styles, efficiency of exploring parallelism, and the application characteristics they can handle....
Vipin Chaudhary, W. L. Hase, Hai Jiang, L. Sun, Da...
LATA
2009
Springer
15 years 11 months ago
On Parallel Communicating Grammar Systems and Correctness Preserving Restarting Automata
Abstract. This paper contributes to the study of Freely Rewriting Restarting Automata (FRR-automata) and Parallel Communicating Grammar Systems (PCGS) as formalizations of the ling...
Dana Pardubská, Martin Plátek, Fried...
APSEC
2000
IEEE
15 years 10 months ago
Supporting collaboration in distributed software engineering teams
Software engineering is no longer the preserve of individuals but is essentially a team-based activity involving a wide variety of stakeholders and thus making the need for commun...
Paul J. Layzell, Pearl Brereton, A. French