Sciweavers

1900 search results - page 144 / 380
» The Four Phase Method for Modelling Complex Systems
Sort
View
SOFSEM
2007
Springer
15 years 9 months ago
Personalized Presentation in Web-Based Information Systems
Abstract. Large information spaces and complex functionality of contemporary systems together with the advent of the Semantic Web are big challenges for the design of simple yet po...
Michal Tvarozek, Michal Barla, Mária Bielik...
114
Voted
SIGMOD
1996
ACM
133views Database» more  SIGMOD 1996»
15 years 7 months ago
Multi-dimensional Resource Scheduling for Parallel Queries
Scheduling query execution plans is an important component of query optimization in parallel database systems. The problem is particularly complex in a shared-nothing execution en...
Minos N. Garofalakis, Yannis E. Ioannidis
FMCO
2007
Springer
129views Formal Methods» more  FMCO 2007»
15 years 9 months ago
Self Management for Large-Scale Distributed Systems: An Overview of the SELFMAN Project
As Internet applications become larger and more complex, the task of managing them becomes overwhelming. “Abnormal” events such as software updates, failures, attacks, and hots...
Peter Van Roy, Seif Haridi, Alexander Reinefeld, J...
SBMF
2009
Springer
105views Formal Methods» more  SBMF 2009»
15 years 9 months ago
Verifying Compiled File System Code
Abstract. This paper presents a case study on retrospective verication of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...
Jan Tobias Mühlberg, Gerald Lüttgen
DEBS
2007
ACM
15 years 6 months ago
On adding replies to publish-subscribe
Recently, the publish-subscribe communication model has attracted the attention of developers as a viable alternative to traditional communication schemas, like request/reply, for...
Gianpaolo Cugola, Matteo Migliavacca, Alessandro M...