5409 search results - page 93 / 1082 » Basic Observables for Processes |
89
Voted
GEOS
2005
Springer
15 years 6 months ago
2005
Springer
Traditional spatial information systems hold only a single state of the ‘real world’. However, geographic phenomena have not only static but dynamic characteristics. The work d...
105
Voted
IPPS
2003
IEEE
15 years 6 months ago
2003
IEEE
: This paper presents a new tightly coupled computation/communication design developed to support the unique operational requirements of sensor webs. A critical challenge of sensor...
107
click to vote
PCI
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. Extensive research has been carried out in search for an efcient atomic commit protocol and many optimizations have been suggested to improve the basic two-phase commit p...
100
click to vote
BIRTHDAY
2000
Springer
15 years 5 months ago
2000
Springer
The axiom system ACP of [10] was extended to discrete time in [6]. Here, we proceed to define the silent step in this theory in branching bisimulation semantics [7, 15] rather th...
114
click to vote
ESOP
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. We propose a new type discipline for the -calculus in which secure information flow is guaranteed by static type checking. Secrecy levels are assigned to channels and are...