Sciweavers

7986 search results - page 401 / 1598
» Computational Science and its Applications
Sort
View

Book
349views
17 years 2 months ago
Thinking in Java
"Much of the motivation and effort for this edition is to bring the book up to date with the Java JDK 1.4 release of the language. However, it has also become clear that most ...
Jolt Award
LICS
2006
IEEE
16 years 25 days ago
Temporal Logics and Model Checking for Fairly Correct Systems
We motivate and study a generic relaxation of correctness of reactive and concurrent systems with respect to a temporal specification. We define a system to be fairly correct if...
Daniele Varacca, Hagen Völzer
ESAW
2003
Springer
16 years 1 days ago
A Liberal Approach to Openness in Societies of Agents.
We outline a model for a society of agents based upon one of the classical theories of sociology: The Weber’s model. We first investigate its links to agent technology through i...
Jacques Calmet, Anusch Daemi, Regine Endsuleit, Th...
CCR
2005
63views more  CCR 2005»
15 years 6 months ago
The internet measurement data catalog
Internet data remains one of the basic components of computer science network research. Despite its necessity, available data is limited by legal, social, and technical constraint...
Colleen Shannon, David Moore, Ken Keys, Marina Fom...
P2P
2006
IEEE
229views Communications» more  P2P 2006»
16 years 25 days ago
Cost-Aware Processing of Similarity Queries in Structured Overlays
Large-scale distributed data management with P2P systems requires the existence of similarity operators for queries as we cannot assume that all users will agree on exactly the sa...
Marcel Karnstedt, Kai-Uwe Sattler, Manfred Hauswir...