3458 search results - page 341 / 692 » Abstracting Control |
132
Voted
CONSTRAINTS
2004
15 years 4 months ago
2004
Abstract. CLPGUI is a generic graphical user interface for visualizing and controlling the execution of constraint logic programs. CLPGUI has been designed to be used in different ...
147
click to vote
CSFW
2011
IEEE
14 years 4 months ago
2011
IEEE
Abstract—Audit mechanisms are essential for privacy protection in permissive access control regimes, such as in hospitals where denying legitimate access requests can adversely a...
146
Voted
ADAEUROPE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We present Sancta, a flexible control architecture for multirobot teams. It is fully written in Ada 2005, except for the reuse of some C libraries. In this paper we high...
145
click to vote
CNL
2009
15 years 5 months ago
2009
Abstract. Anaphora resolution in current computer-processable controlled natural languages relies mainly on syntactic information, accessibility constraints and the distance of the...
131
click to vote
CONCUR
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. In a trace-based world, the modular speci cation, veri cation, and control of live systems require each module to be receptive that is, each module must be able to meet i...