12774 search results - page 171 / 2555 » A Framework for Proof Systems |
137
click to vote
AAAI
2004
15 years 6 months ago
2004
The concept of consistency has pervaded studies of the constraint satisfaction problem. We introduce two concepts, which are inspired by consistency, for the more general framewor...
114
Voted
AHCI
2010
14 years 11 months ago
2010
This paper presents the SEMAINE API, an open source framework for building emotion-oriented systems. By encouraging and simplifying the use of standard representation formats, the...
128
Voted
ACSAC
2001
IEEE
15 years 8 months ago
2001
IEEE
In most of the current authorization frameworks in application systems, the authorization for a user operation is determined using a static database like ACL entries or system tab...
147
click to vote
RTCSA
2008
IEEE
15 years 11 months ago
2008
IEEE
A component framework plays an important role in CBSD as it determines how software components are developed, packaged, assembled and deployed. A desirable component framework for...
152
click to vote
CBSE
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. The usage of components brings significant help in development of real-time embedded systems. There have been a number of component frameworks developed for this purpose...