3844 search results - page 226 / 769 » Modular interpreted systems |
144
click to vote
PPOPP
2003
ACM
15 years 9 months ago
2003
ACM
Sensor networks are long-running computer systems with many sensing/compute nodes working to gather information about their environment, process and fuse that information, and in ...
116
click to vote
AUTOMATICA
2007
15 years 3 months ago
2007
This paper is devoted to the generic observability analysis for structured bilinear systems using a graph-theoretic approach. On the basis of a digraph representation, we express ...
107
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. We consider the interpretations of notions of access control (permissions, interdictions, obligations, and user rights) as run-time properties of information systems spec...
169
click to vote
ATAL
2004
Springer
15 years 7 months ago
2004
Springer
We present an approach to the problem of verification of epistemic properties of multi-agent systems by means of symbolic model checking. In particular, it is shown how to extend ...
130
click to vote
ECAI
2010
Springer
15 years 4 months ago
2010
Springer
Over the past several decades, psycholinguists have gained countless insights into the process of child language acquisition. Can these findings be used for the development of lang...