8555 search results - page 213 / 1711 » Property Based Coordination |
118
click to vote
TAPSOFT
1997
Springer
15 years 8 months ago
1997
Springer
This paper presents a type system which guarantees that well-typed programs in a procedural programming language satisfy a noninterference security property. With all program input...
124
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
Violations of a number of common safety properties of multithreaded programs–such as atomicity and absence of dataraces–cannot be observed by looking at the linear execution t...
151
click to vote
ICPR
2002
IEEE
16 years 5 months ago
2002
IEEE
This paper describes a method to extend the registration range of a vision-based augmented reality (AR) system. We propose to use natural feature points contained in images captur...
145
click to vote
IC
2001
15 years 6 months ago
2001
- In this paper, we propose a facilitator which finds capable and trustworthy partners on behalf of client users, which helps users form and maintain e-partnerships for electronic ...
126
click to vote
AAAI
1998
15 years 6 months ago
1998
Modifyingknowledge-based systems is a complexactivity. One of its di culties is that several related portions of the system might have to be changed in order to maintain the coher...