7167 search results - page 774 / 1434 » Answer Set Programming |
178
click to vote
FOSSACS
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed, to study historybased access control. It allows for security policies with a possibly nested, local scope. We define a type ...
168
click to vote
RISE
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. This paper applies the Evolutionary Strategy (ES) metaheuristic to the automatic test data generation problem. The problem consists in creating automatically a set of inp...
166
Voted
WEBI
2005
Springer
16 years 9 days ago
2005
Springer
In order to let software programs gain full benefit from semi-structured web sources, wrapper programs must be built to provide a “machine-readable” view over them. A signific...
157
click to vote
WEBI
2004
Springer
16 years 5 days ago
2004
Springer
In this paper, we particularly focused our attention on how to enhance expressivity of ontologies when used as organized space values in a catalogue request process. Using the Wis...
169
click to vote
ICPP
2003
IEEE
16 years 3 days ago
2003
IEEE
Multicast is an important collective operation for parallel programs. Some Network Interface Cards (NICs), such as Myrinet, have programmable processors that can be programmed to ...