645 search results - page 24 / 129 » concurrency 2007 |
LOGCOM
2007
14 years 9 months ago
2007
Various forms of rely/guarantee conditions have been used to record and reason about interference in ways that provide compositional development methods for concurrent programs. Th...
DEDS
2007
14 years 9 months ago
2007
— Given a finite state system with partial observers and for each observer, a regular set of trajectories which we call a secret, we consider the question whether the observers ...
104
click to vote
SCAM
2007
IEEE
15 years 3 months ago
2007
IEEE
Program slicing is a program-reduction technique for extracting statements that may influence other statements. While there exist efficient algorithms to slice sequential progra...
SOSP
2007
ACM
15 years 6 months ago
2007
ACM
Energy management is a critical concern in wireless sensornets. Despite its importance, sensor network operating systems today provide minimal energy management support, requiring...
104
click to vote
IJCAI
1997
14 years 11 months ago
1997
As an alternative to planning, an approach to highlevel agent control based on concurrent program execution is considered. A formal definition in the situation calculus of such a ...