9974 search results - page 1483 / 1995 » Software Interconnection Models |
189
click to vote
ACSAC
2001
IEEE
15 years 10 months ago
2001
IEEE
We present an approach for controlling access to data publishers in the framework of Web-based information services. The paper presents a model for enforcing access control regula...
160
click to vote
ICMI
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper gives an overview of the Jacob project. This project involves the construction of a 3D virtual environment where an animated human-like agent called Jacob give...
185
click to vote
CHI
1995
ACM
15 years 10 months ago
1995
ACM
Multimodal interactive systems support multiple interaction techniques such as the synergistic use of speech and direct manipulation. The flexibility they offer results in an incr...
173
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
Analysis of Symbolic Executions Aws Albarghouthi1 , Arie Gurfinkel2 , Ou Wei1,3 , and Marsha Chechik1 1 Department of Computer Science, University of Toronto, Canada 2 Software Eng...
168
click to vote
FLAIRS
2008
15 years 9 months ago
2008
We are interested in building decision-support software for social welfare case managers. Our model in the form of a factored Markov decision process is so complex that a standard...