4480 search results - page 449 / 896 » Prototyping Completion with Constraints Using Computational ... |
194
click to vote
ICLP
2001
Springer
15 years 11 months ago
2001
Springer
Tabling is an implementation technique that improves the declarativeness and expressiveness of Prolog by reusing solutions to goals. Quite a few interesting applications of tabling...
185
click to vote
DIGRA
2005
Springer
16 years 11 days ago
2005
Springer
This paper describes the preliminary research of an ambient intelligent system known as socioec(h)o. socio-ec(h)o explores the design and implementation of an ambient intelligent ...
171
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
Energy management is a critical concern in the design of embedded systems to prolong the lifetime or to maximize the performance under energy constraints. In particular, the emerg...
207
click to vote
NCA
2007
IEEE
16 years 1 months ago
2007
IEEE
We present FRAC, a Framework for Role-based Access Control in network file systems. FRAC is a reference monitor that controls the message flow between file system clients and s...
203
click to vote
TC
2008
15 years 6 months ago
2008
High availability is a key requirement in the design and development of heterogeneous systems, where processors operate at different speeds and are not continuously available for ...