Sciweavers

7099 search results - page 54 / 1420
» Context for models of concurrency
Sort
View
TCS
2008
13 years 9 months ago
A timed semantics of Orc
Orc is a kernel language for structured concurrent programming. Orc provides three powerful combinators that define the structure of a concurrent computation. These combinators su...
Ian Wehrman, David Kitchin, William R. Cook, Jayad...
PADL
2011
Springer
13 years 23 days ago
Joinads: A Retargetable Control-Flow Construct for Reactive, Parallel and Concurrent Programming
Modern challenges led to a design of a wide range of programming models for reactive, parallel and concurrent programming, but these are often t to encode in general purpose langua...
Tomas Petricek, Don Syme
ICCBR
2007
Springer
14 years 4 months ago
The Role of Context Models in Association with Flexible Design Processes - Position Paper
In this position paper, we discuss the interdependencies of context models and flexible design processes in the chip industry. We illustrate this by an ontology-based context model...
Mirjam Minor, Daniel Schmalen, Andreas Koldehoff
CONTEXT
2007
Springer
14 years 4 months ago
The Difference a Day Makes - Recognizing Important Events in Daily Context Logs
Abstract. We study the extension of context ontologies towards enhanced qualitative spatio-temporal representations and reasoning. Our goal is to model and extract events that are ...
Michael Wessel, Marko Luther, Matthias Wagner
ERLANG
2006
ACM
14 years 3 months ago
Concurrency oriented programming in termite scheme
Termite Scheme is a variant of Scheme intended for distributed computing. It offers a simple and powerful concurrency model, inspired by the Erlang programming language, which is ...
Guillaume Germain