Sciweavers

13977 search results - page 2616 / 2796
» Evolution in complex systems
Sort
View
SIGECOM
2005
ACM
132views ECommerce» more  SIGECOM 2005»
16 years 15 hour ago
Integrating tradeoff support in product search tools for e-commerce sites
In a previously reported user study, we found that users were able to perform decision tradeoff tasks more efficiently and commit considerably fewer errors with the example critiq...
Pearl Pu, Li Chen
SPAA
2005
ACM
16 years 14 hour ago
Fast construction of overlay networks
An asynchronous algorithm is described for rapidly constructing an overlay network in a peer-to-peer system where all nodes can in principle communicate with each other directly t...
Dana Angluin, James Aspnes, Jiang Chen, Yinghua Wu...
ATVA
2005
Springer
202views Hardware» more  ATVA 2005»
16 years 5 hour ago
Model Checking Real Time Java Using Java PathFinder
Abstract. The Real Time Specification for Java (RTSJ) is an augmentation of Java for real time applications of various degrees of hardness. The central features of RTSJ are real t...
Gary Lindstrom, Peter C. Mehlitz, Willem Visser
CHARME
2005
Springer
122views Hardware» more  CHARME 2005»
16 years 2 hour ago
Regular Vacuity
The application of model-checking tools to complex systems involves a nontrivial step of modelling the system by a finite-state model and a translation of the desired properties i...
Doron Bustan, Alon Flaisher, Orna Grumberg, Orna K...
EGC
2005
Springer
15 years 12 months ago
HotGrid: Graduated Access to Grid-Based Science Gateways
Abstract. We describe the idea of a Science Gateway, an applicationspecific task wrapped as a web service, and some examples of these that are being implemented on the US TeraGrid...
Roy Williams, Conrad Steenberg, Julian J. Bunn
« Prev « First page 2616 / 2796 Last » Next »