5904 search results - page 867 / 1181 » Requirements for a Composition Language |
121
click to vote
AGENTS
1997
Springer
15 years 8 months ago
1997
Springer
We take the position that autonomous agents, when they interact with people, should be governed by the same principles that underlie human collaboration. These principles come fro...
111
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...
120
click to vote
HPDC
1993
IEEE
15 years 8 months ago
1993
IEEE
Building the hardware for a high-performance distributed computer system is a lot easier than building its software. In this paper we describe a model for programtributed systems ...
134
click to vote
ICCAD
1994
IEEE
15 years 8 months ago
1994
IEEE
Identifying mutual exclusiveness between operators during behavioral synthesis is important in order to reduce the required number of control steps or hardware resources. To impro...
267
click to vote
AFRIGRAPH
2010
ACM
15 years 8 months ago
2010
ACM
Image registration forms the basis of many computer vision tasks. The Lucas-Kanade image registration algorithm is known to efficiently solve the sub-problem of rigid image regis...