2920 search results - page 449 / 584 » Finite information logic |
266
click to vote
CADUI
2006
15 years 8 months ago
2006
: The need for support of multi-user interaction is growing in several application domains, including the Web. However, there is a lack of tools able to support designers and devel...
190
click to vote
DBSEC
2006
15 years 8 months ago
2006
Abstract. Controlled Query Evaluation (CQE) offers a logical framework to prevent a user of a database from inadvertently gaining knowledge he is not allowed to know. By modeling t...
163
click to vote
FLAIRS
2003
15 years 8 months ago
2003
Spacecraft are key components of military operations and everyday life. To achieve space situation awareness, human operators must monitor large numbers of parameters. During off-...
180
click to vote
P2PKM
2004
15 years 8 months ago
2004
Abstract. We are interested in the development of a database management layer which is completely portable and, therefore, "pluggable" on top of multiple host platforms. ...
137
click to vote
WSC
2001
15 years 8 months ago
2001
This paper presents three methods implemented in the activity-based construction modeling and simulation (ABC) system for validating a construction simulation. The first method re...