1050 search results - page 130 / 210 » The problem with rights expression languages |
IFIP
2003
Springer
15 years 3 months ago
2003
Springer
A fundamental issue in the design of a wireless sensor network is to devise mechanisms to make efficient use of its energy, and thus, extend its lifetime. The information about th...
AGENTS
1997
Springer
15 years 2 months ago
1997
Springer
Downsizing the number of operators controlling complex systems can increase the decision-making demands on remaining operators, particularly in crisis situations. An answer to thi...
INFSOF
2002
14 years 9 months ago
2002
Identifying code duplication in large multi-platform software systems is a challenging problem. This is due to a variety of reasons including the presence of high-level programmin...
AWIC
2011
Springer
14 years 1 months ago
2011
Springer
Information extraction approaches are heavily used to gather product information on the Web, especially focusing on technical product specifications. If requesting different sour...
106
click to vote
TPHOL
1999
IEEE
15 years 2 months ago
1999
IEEE
Abstract. We describe the key features of the proof description language of Declare, an experimental theorem prover for higher order logic. We take a somewhat radical approach to p...