29172 search results - page 228 / 5835 » Modeling Systems in CLP |
166
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Software systems are subject to increasing complexity and in need of efficient structuring. Multi-agent system research has come up with approaches for an organization-oriented co...
186
click to vote
VMCAI
2010
Springer
16 years 3 months ago
2010
Springer
We present a unified game-based approach for branching-time model checking of hierarchical systems. Such systems are exponentially more succinct than standard state-transition gra...
174
click to vote
FDG
2009
ACM
16 years 1 months ago
2009
ACM
We propose a novel evaluation methodology for intelligent camera control systems based on established techniques of measuring story comprehension from cognitive psychology. The pr...
191
click to vote
CSSE
2008
IEEE
16 years 1 months ago
2008
IEEE
—Risk assessment is a very important tool to acquire a present and future security status of the network information system. Many risk assessment approaches consider the present ...
176
click to vote
DATE
2007
IEEE
16 years 28 days ago
2007
IEEE
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...