5326 search results - page 256 / 1066 » On what we can ensure |
151
click to vote
ICLP
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Bottom-up evaluation is a central part of query evaluation / program execution in deductive databases. It is used after a source code optimization like magic sets or SLDm...
196
click to vote
DAC
2009
ACM
15 years 10 months ago
2009
ACM
Power grid verification in modern integrated circuits is an integral part of early system design where adjustments can be most easily incorporated. In this work, we describe an ea...
135
click to vote
APSEC
2004
IEEE
15 years 10 months ago
2004
IEEE
To formalize a software process, its important aspects must be extracted as a model. Many processes are used repeatedly, and the ability to automate a process is also desired. One...
148
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Inter-organizational controls are mechanisms used to ensure and monitor that networked enterprises do not commit a fraud and behave as agreed. Many of such controls have, apart fro...
147
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Being able to ensure that a multiagent system will not generate undesirable behaviors is essential within the context of critical applications (embedded systems or real-time system...