Sciweavers

2226 search results - page 261 / 446
» Pdk: The System and Its Language
Sort
View
ICLP
2009
Springer
16 years 7 months ago
Logic Programming with Defaults and Argumentation Theories
We define logic programs with defaults and argumentation theories, a new framework that unifies most of the earlier proposals for defeasible reasoning in logic programming. We pres...
Hui Wan, Benjamin N. Grosof, Michael Kifer, Paul F...
ADAEUROPE
2004
Springer
16 years 22 hour ago
Implementing an Application-Defined Scheduling Framework for Ada Tasking
Abstract: A framework for application-defined scheduling and its corresponding application program interface (API) were defined during the last International Real-Time Ada Workshop...
Mario Aldea Rivas, Francisco Javier Miranda Gonz&a...
DATE
2003
IEEE
135views Hardware» more  DATE 2003»
15 years 12 months ago
Estimation of Bus Performance for a Tuplespace in an Embedded Architecture
This paper describes a design methodology for the estimation of bus performance of a tuplespace for factory automation. The need of a tuplespace is motivated by the characteristic...
Nicola Drago, Franco Fummi, Marco Monguzzi, Giovan...
WORDS
2003
IEEE
15 years 12 months ago
Security and Middleware
The security features of current middleware platforms, like Enterprise Java Beans and CORBA, are either simple and limited or complex and difficult to use. In both cases are the ...
Anders Andersen, Gordon S. Blair, Per Harald Myrva...
MA
1999
Springer
152views Communications» more  MA 1999»
15 years 11 months ago
An Agent-Based Infrastructure for Enterprise Integration
Jackal is a Java-based tool for communication using the KQML agent communication language. Some features that make it extremely valuable to agent development are its conversation ...
R. Scott Cost, Timothy W. Finin, Yannis Labrou, Xi...