841 search results - page 148 / 169 » A secure architectural description language for agent system... |
113
click to vote
COMPSEC
2008
15 years 1 months ago
2008
While general-purpose processor based systems are built to enforce memory protection to prevent the unintended sharing of data between processes, current systems built around reco...
120
click to vote
ECMDAFA
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. Current mobile digital communication systems must implement rigorous operations to guarantee high levels of confidentiality and integrity during transmission of critical ...
122
click to vote
VEE
2009
ACM
15 years 8 months ago
2009
ACM
r of high-level languages lies in their abstraction over hardware and software complexity, leading to greater security, better reliability, and lower development costs. However, o...
133
Voted
AAAI
2004
15 years 3 months ago
2004
We describe SCoT, a Spoken Conversational Tutor, which has been implemented in order to investigate the advantages of natural language in tutoring, especially spoken language. SCo...
131
Voted
JFP
2010
15 years 9 days ago
2010
Session types support a type-theoretic formulation of structured patterns of communication, so that the communication behaviour of agents in a distributed system can be verified ...