805 search results - page 140 / 161 » Integrating Functional and Architectural Views of Reactive S... |
224
click to vote
CCS
2008
ACM
15 years 10 months ago
2008
ACM
Correct enforcement of authorization policies is a difficult task, especially for multi-threaded software. Even in carefully-reviewed code, unauthorized access may be possible in ...
271
Voted
JHSN
2006
15 years 8 months ago
2006
It has been recognized for some time that software alone does not provide an adequate foundation for building a high-assurance trusted platform. The emergence of industry-standard ...
223
Voted
GLVLSI
2002
IEEE
16 years 1 months ago
2002
IEEE
Design simplification is becoming necessary to respect the target time-to-market of SoCs, and this goal can be obtained by using predesigned IP-cores. However, their correct inte...
208
click to vote
ECAI
2004
Springer
16 years 1 months ago
2004
Springer
In this paper we describe IPSS (Integrated Planning and Scheduling System), a domain independent solver that integrates an AI heuristic planner, that synthesizes courses of actions...
214
click to vote
WWW
2004
ACM
16 years 8 months ago
2004
ACM
Personalized support for learners becomes even more important, when e-Learning takes place in open and dynamic learning and information networks. This paper shows how to realize p...