Sciweavers

7099 search results - page 157 / 1420
» Context for models of concurrency
Sort
View
IWPC
2007
IEEE
16 years 1 months ago
Empirical Evaluation of a UML Sequence Diagram with Adornments to Support Understanding of Thread Interactions
Programs that use multi-threaded concurrency are known to be difficult to design. Moreover, research in computer-science education suggests that concurrency and synchronization co...
Shaohua Xie, Eileen Kraemer, R. E. Kurt Stirewalt
PPDP
1999
Springer
15 years 11 months ago
Distributed Programming in a Multi-Paradigm Declarative Language
Curry is a multi-paradigm declarative language covering functional, logic, and concurrent programming paradigms. Curry’s operational semantics is based on lazy reduction of expre...
Michael Hanus
219
Voted
EMSOFT
2006
Springer
15 years 10 months ago
Scheduling-independent threads and exceptions in SHIM
Concurrent programming languages should be a good fit for embedded systems because they match the intrinsic parallelism of their architectures and environments. Unfortunately, typ...
Olivier Tardieu, Stephen A. Edwards
CONTEXT
2001
Springer
15 years 11 months ago
Practical Context Transformation for Information System Interoperability
This paper discusses the use of contextual reasoning, i.e. context transformation for achieving semantic interoperability in heterogeneous information systems. We introduce termino...
Holger Wache, Heiner Stuckenschmidt
BEHAVIOURIT
2006
64views more  BEHAVIOURIT 2006»
15 years 7 months ago
Important context changes for talking and text messaging during homeward commutes
This paper models the suitability of homeward commutes as a context for talking on a mobile telephone and text messaging. Analysis of these models identifies when and where large ...
Martin Colbert, David Livingstone