Sciweavers

7099 search results - page 54 / 1420
» Context for models of concurrency
Sort
View
TCS
2008
15 years 6 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
14 years 9 months 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
16 years 27 days 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
16 years 28 days 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
16 years 22 days 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