4890 search results - page 597 / 978 » From system specifications to component behavioral models |
185
click to vote
DEBS
2008
ACM
15 years 8 months ago
2008
ACM
Two convincing paradigms have emerged for achieving scalability in widely distributed systems: publish/subscribe communication and role-based, policy-driven control of access to t...
170
click to vote
MASCOTS
2004
15 years 8 months ago
2004
Queueing models are routinely used to analyze the performance of software systems. However, contrary to common assumptions, the time that a software server takes to complete jobs ...
219
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
Modern grids have become very complex by their size and their heterogeneity. It makes the deployment and maintenance of systems a difficult task requiring lots of efforts from ad...
153
click to vote
ICCAD
1996
IEEE
15 years 11 months ago
1996
IEEE
Based Automatic Abstraction for CTL Model Checking Woohyuk Lee Abelardo Pardo Jae-Young Jang Gary Hachtel Fabio Somenzi University of Colorado ECEN Campus Box 425 Boulder, CO, 8030...
187
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
Search engine researchers typically depict search as the solitary activity of an individual searcher. In contrast, results from our critical-incident survey of 150 users on Amazon...