1150 search results - page 111 / 230 » Specifying Information-Flow Controls |
107
Voted
SGP
2007
15 years 5 months ago
2007
We propose a constraint-based method for the fairing of surface meshes. The main feature of our approach is that the resulting smoothed surface remains within a prescribed distanc...
125
Voted
DBSEC
2006
15 years 4 months ago
2006
Abstract. A choreography specifies the interactions between the resources of multiple collaborating parties at design time. The runtime management of authorization policies in orde...
77
Voted
FLAIRS
2001
15 years 4 months ago
2001
In formallyanalyzinganddevelopingindustrialsizedsystems weare often confrontedwiththe problemof expressingrealtimeproperties.Especiallyin safetycritical applications as, for examp...
116
Voted
AAAI
2000
15 years 4 months ago
2000
We propose a frameworkfor robot programming which allows the seamless integration of explicit agent programming with decision-theoretic planning. Specifically, the DTGolog model a...
95
Voted
COLING
1992
15 years 3 months ago
1992
We report on the initial stages of development of a robust parsing system, to be used as part of The Editor's Assistant, a program that detects and corrects textual errors an...