3228 search results - page 356 / 646 » Computationally Sound Proofs |
143
click to vote
DIS
2007
Springer
15 years 10 months ago
2007
Springer
Abductive inference has long been associated with the logic of scientific discovery and automated abduction is now being used in real scientific tasks. But few methods can exploi...
126
click to vote
RAID
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this work we present a NIDS cluster as a scalable solution for realizing high-performance, stateful network intrusion detection on commodity hardware. The design addre...
166
click to vote
SOCO
2007
Springer
15 years 10 months ago
2007
Springer
In the context of Service Oriented Computing, contracts are descriptions of the externally observable behaviour of services. Given a group of collaborating services, their contract...
125
click to vote
ISPDC
2006
IEEE
15 years 10 months ago
2006
IEEE
We present an incipient implementation of a programming language that allows programming of realtime applications distributed over a network. We have several goals in mind: First,...
134
click to vote
LAWEB
2006
IEEE
15 years 10 months ago
2006
IEEE
This work describes an approach for the semi-automatic learning object metadata markup of course’s web pages and their posterior extraction into Scorm Packages. This is identifi...