Sciweavers

3814 search results - page 601 / 763
» Operating system support for multimedia systems
Sort
View
121
Voted
ATAL
2005
Springer
15 years 10 months ago
Agent-based virtual organisations for the Grid
The ability to create reliable and scalable virtual organisations (VOs) on demand in a dynamic, open and competitive environment is one of the major challenges that underlie Grid ...
Jigar Patel, W. T. Luke Teacy, Nicholas R. Jenning...
FSTTCS
2005
Springer
15 years 10 months ago
Reasoning About Quantum Knowledge
We construct a formal framework for investigating epistemic and temporal notions in the context of distributed quantum systems. While we rely on structures developed in [DDKP05], w...
Ellie D'Hondt, Prakash Panangaden
ICLP
2005
Springer
15 years 10 months ago
Nondeterminism Analysis of Functional Logic Programs
Abstract. Information about the nondeterminism behavior of a functional logic program is important for various reasons. For instance, a nondeterministic choice in I/O operations re...
Bernd Braßel, Michael Hanus
ACNS
2004
Springer
77views Cryptology» more  ACNS 2004»
15 years 10 months ago
A Pay-per-Use DoS Protection Mechanism for the Web
Internet service providers have resisted deploying Denial-of-Service (DoS) protection mechanisms despite numerous research results in the area. This is so primarily because ISPs ca...
Angelos Stavrou, John Ioannidis, Angelos D. Keromy...
139
Voted
HICSS
2003
IEEE
134views Biometrics» more  HICSS 2003»
15 years 10 months ago
Scheduling the Supply Chain by Teams of Agents
When a supply chain is established supply chain management (SCM) needs supporting tools for the tasks of operative planning, scheduling, and coordination. These tasks have to be p...
Jürgen Sauer, Hans-Jürgen Appelrath