2757 search results - page 34 / 552 » On separating systems |
CORR
2011
Springer
13 years 2 months ago
2011
Springer
In this paper we consider the problem of monitoring detecting separation of agents from a base station in robotic and sensor networks. Such separation can be caused by mobility an...
CC
2005
Springer
14 years 1 months ago
2005
Springer
In this paper, we present a formal description of data slicing, which is a type-directed program transformation technique that separates a program’s heap into several independent...
CCE
2008
13 years 7 months ago
2008
Kinematic models for polydisperse suspensions are based on specifying the solid-fluid relative velocity for each solids species as a function of the local solids concentrations. On...
ESOP
2007
Springer
14 years 1 months ago
2007
Springer
We study the relationship between Concurrent Separation Logic (CSL) and the assume-guarantee (A-G) method (a.k.a. rely-guarantee method). We show in three steps that CSL can be tre...
HICSS
1999
IEEE
14 years 8 hour ago
1999
IEEE
Successful implementation of information technology (IT)-enabled strategy rests on the performance of IT professionals. Consequently, the development and retention of this "I...