539 search results - page 67 / 108 » The Semantic Gap of Formalized Meaning |
121
click to vote
ECAI
2010
Springer
15 years 15 hour ago
2010
Springer
Abstract. For autonomous systems such as unmanned aerial vehicles to successfully perform complex missions, a great deal of embedded reasoning is required at varying levels of abst...
102
click to vote
PLDI
2009
ACM
15 years 6 months ago
2009
ACM
Information flow controls can be used to protect both data confidentiality and data integrity. The certification of the security degree of a program that runs in untrusted envi...
140
click to vote
POPL
2012
ACM
13 years 7 months ago
2012
ACM
Differential privacy is a notion of confidentiality that protects the privacy of individuals while allowing useful computations on their private data. Deriving differential priva...
CONCUR
2007
Springer
15 years 6 months ago
2007
Springer
Priority is a frequently used feature of many computational systems. In this paper we study the expressiveness of two process algebras enriched with different priority mechanisms...
107
click to vote
AOSE
2005
Springer
15 years 5 months ago
2005
Springer
Many approaches and tools assist the various tasks required to develop a multi-agent system (MAS), yet there still remains a gap between the generation of MAS models and program co...