7167 search results - page 668 / 1434 » Answer Set Programming |
160
click to vote
HIPC
2004
Springer
16 years 2 days ago
2004
Springer
It is well known that in a typical real-time system, certain parameters, such as the execution time of a job, are not fixed numbers. In such systems, it is common to characterize ...
163
click to vote
SACRYPT
2004
Springer
16 years 1 days ago
2004
Springer
A reasonably efficient password based key exchange (KE) protocol with provable security without random oracle was recently proposed by Katz, et al. [18] and later by Gennaro and Li...
185
click to vote
CSFW
2003
IEEE
15 years 12 months ago
2003
IEEE
A policy describes the conditions under which an action is permitted or forbidden. We show that a fragment of (multi-sorted) first-order logic can be used to represent and reason...
158
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
Questions of healthcare inequities have been of continuing concern to health researchers, planners, and policymakers. The answers to such questions can be difficult to interpret, ...
140
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper describes critical factors for co-ordinated enterprise and IS/IT development and change in complex organizations in Sweden. These factors represent an answer on the cru...