Sciweavers

5334 search results - page 471 / 1067
» Communicating quantum processes
Sort
View
DELOS
2001
15 years 8 months ago
A Framework for Implicitly Tracking Data
The construction of personalised information systems is becoming more important as the quantity of information to be searched increases. The approach taken in this paper involves ...
Robert Villa, Matthew Chalmers
INTERACT
1997
15 years 8 months ago
What Happened to our Document in the Shared Workspace? The Need for Groupware Conventions
Conventions for conducting work with groupware are essential. They include rules for how the groupware functionality should be used for communication about work, for how data shoul...
Gloria Mark, Wolfgang Prinz
ACL
1990
15 years 8 months ago
Transforming Syntactic Graphs into Semantic Graphs
In this paper, we present a computational method for transforming a syntactic graph, which represents all syntactic interpretations of a sentence, into a semantic graph which filt...
Hae-Chang Rim, Jungyun Seo, Robert F. Simmons
BIRTHDAY
2010
Springer
15 years 8 months ago
Formal Semantics of a VDM Extension for Distributed Embedded Systems
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
Jozef Hooman, Marcel Verhoef
ITICSE
2010
ACM
15 years 7 months ago
Hands-on approach to teaching wireless sensor networks at the undergraduate level
Teaching wireless sensor networks (WSNs) at the undergraduate level is both challenging and rewarding. WSNs include low-level programming and debugging, power-aware operations, no...
Anna Förster, Mehdi Jazayeri