3119 search results - page 338 / 624 » Abstract Requirement Analysis in Multiagent System Design |
192
click to vote
SIGMOD
2012
ACM
13 years 7 months ago
2012
ACM
It is often highly valuable for organizations to have their data analyzed by external agents. However, any program that computes on potentially sensitive data risks leaking inform...
130
Voted
MLMI
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper we describe the 2005 AMI system for the transcription of speech in meetings used in the 2005 NIST RT evaluations. The system was designed for participation ...
133
click to vote
ESORICS
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. Recent years have seen unprecedented growth in the popularity of social network systems, with Facebook being an archetypical example. The access control paradigm behind t...
139
click to vote
MBEC
2010
14 years 12 months ago
2010
Abstract Hydrocephalus is related to a disturbed cerebrospinal fluid (CSF) system. For diagnosis, lumbar infusion test are performed to estimate outflow conductance, Cout, and pres...
136
Voted
HYBRID
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. The assume-guarantee paradigm is a powerful divide-andconquer mechanism for decomposing a veri cation task about a system into subtasks about the individual components of...