Sciweavers

1721 search results - page 267 / 345
» The fundamentals of hybrid systems modelers
Sort
View
ASIAN
2005
Springer
96views Algorithms» more  ASIAN 2005»
14 years 3 months ago
Query Incentive Networks
The concurrent growth of on-line communities exhibiting large-scale social structure, and of large decentralized peer-to-peer file-sharing systems, has stimulated new interest in...
Prabhakar Raghavan
GROUP
2003
ACM
14 years 3 months ago
Data at work: supporting sharing in science and engineering
Data are a fundamental component of science and engineering work, and the ability to share data is critical to the validation and progress of science. Data sharing and reuse in so...
Jeremy P. Birnholtz, Matthew J. Bietz
DEXAW
1998
IEEE
155views Database» more  DEXAW 1998»
14 years 2 months ago
Business-Oriented Component-Based Software Development and Evolution
Huge size and high complexity of legacy software are the main sources of today's software evolution problems. While we can ease software evolution with re-engineering tools, ...
Stan Jarzabek, Martin Hitz
FM
2006
Springer
113views Formal Methods» more  FM 2006»
14 years 1 months ago
Interface Input/Output Automata
We propose a new look at one of the most fundamental types of behavioral interfaces: discrete time specifications of communication--directly related to the work of de Alfaro and H...
Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasows...
IPL
1998
80views more  IPL 1998»
13 years 9 months ago
The Economics of Large-Memory Computations
We propose, and justify, an economic theory to guide memory system design, operation, and analysis. Our theory treats memory random-access latency, and its cost per installed mega...
Clark D. Thomborson