3385 search results - page 452 / 677 » Language, Logic, and the Brain |
166
click to vote
MCETECH
2009
Springer
16 years 1 months ago
2009
Springer
Access control rules are currently administered by highly qualified personnel. Thus, the technical barrier that specialized access control languages represent naturally prevents th...
150
click to vote
IROS
2007
IEEE
16 years 27 days ago
2007
IEEE
Abstract— This paper presents Meld, a programming language for modular robots, i.e., for independently executing robots where inter-robot communication is limited to immediate ne...
171
click to vote
CCS
2007
ACM
16 years 23 days ago
2007
ACM
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...
175
click to vote
FMCO
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Many distributed applications can be understood in terms of components interacting in an open environment. This interaction is not always uniform as the network may consi...
184
click to vote
LOPSTR
2007
Springer
16 years 22 days ago
2007
Springer
Static analyses of object-oriented programs usually rely on intermediate representations that respect the original semantics while having a more uniform and basic syntax. Most of t...