3468 search results - page 576 / 694 » An open logical framework |
SIP
2001
13 years 10 months ago
2001
The paper presents basic concepts of the discrete system theory from the viewpoint of Banach algebras and shows that some Banach algebras of sequences are not only suitable mathem...
USENIX
2003
13 years 10 months ago
2003
Twisted is a high-level networking framework that is built around event-driven asynchronous I/O. It supports TCP, SSL, UDP and other network transports. Twisted supports a wide va...
ECIS
2000
13 years 10 months ago
2000
The concept of context-dependent access control has emerged during the last years: Information about the state of a process model of a working environment is combined with general ...
ATAL
2010
Springer
13 years 10 months ago
2010
Springer
This demo illustrates MAS-DisCoSim 4 PDP, a testbed environment for evaluating distributed multi-agent system solutions to pickup and delivery problems (PDPs). PDPs are well-studi...
ERCIMDL
2010
Springer
13 years 10 months ago
2010
Springer
The Planets Testbed is an open access web application for the digital preservation community, providing an experimental framework for evaluating preservation tools and approaches i...