5200 search results - page 319 / 1040 » Symbolic models for control systems |
156
Voted
OOPSLA
2001
Springer
15 years 10 months ago
2001
Springer
Preventing abusive resource consumption is indispensable for all kinds of systems that execute untrusted mobile code, such as mobile object systems, extensible web servers, and we...
141
click to vote
AEI
2010
15 years 5 months ago
2010
The Ikaros project started in 2001 with the aim of developing an open infrastructure for system-level brain modeling. The system has developed into a general tool for cognitive mo...
140
click to vote
POLICY
2005
Springer
15 years 11 months ago
2005
Springer
Modern dynamic distributed information systems need access control policies to address controlling access to multiple resources that are distributed. The s may be considered as a ...
130
click to vote
CN
2007
15 years 6 months ago
2007
Unsolicited commercial email, commonly known as spam, has become a pressing problem in today’s Internet. In this paper we re-examine the architectural foundations of the current...
172
Voted
RSP
2003
IEEE
15 years 11 months ago
2003
IEEE
Model-based testing relies on the use of behavior models to automatically generate sequences of inputs and expected outputs. These sequences can be used as test cases to the end o...