1154 search results - page 105 / 231 » Mathematizing C concurrency |
MDM
2005
Springer
14 years 2 months ago
2005
Springer
In this paper we propose a query-driven approach for tuning the time/energy trade-off in sensor networks with mobile sensors. The tuning factors include re-positioning of mobile s...
SPIN
2005
Springer
14 years 2 months ago
2005
Springer
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...
IFM
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...
DSVIS
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. We present an interface that allows creating camera scripts and storyboards for virtual scenes through a multimodal combination of speech and gestures. Users can specify ...
FM
2003
Springer
14 years 2 months ago
2003
Springer
We explore the question of the composition of invariance specifications in a context of concurrent and reactive systems. Depending on how compositionality is stated and how invar...