Sciweavers

4745 search results - page 320 / 949
» Discretization: An Enabling Technique
Sort
View
IPPS
2005
IEEE
16 years 9 days ago
Towards Quantitative Analysis of Real-Time UML Using Stochastic Petri Nets
In recent years the Unified Modeling Language (UML) including its profiles gained increasing acceptance as a specification language for modeling real-time systems. It is crucia...
Jan Trowitzsch, Armin Zimmermann, Günter Homm...
CEAS
2005
Springer
16 years 7 days ago
Spamato - An Extendable Spam Filter System
Spam filter developers are confronted with the task of integrating their ideas in user-friendly products. In this paper, we introduce Spamato as an open, extendable, and multi-fa...
Keno Albrecht, Nicolas Burri, Roger Wattenhofer
ESA
2005
Springer
135views Algorithms» more  ESA 2005»
16 years 7 days ago
: Standard Template Library for XXL Data Sets
Abstract. We present a software library Stxxl, that enables practiceoriented experimentation with huge data sets. Stxxl is an implementation of the C++ standard template library ST...
Roman Dementiev, Lutz Kettner, Peter Sanders
SG
2005
Springer
16 years 5 days ago
Interface Currents: Supporting Fluent Collaboration on Tabletop Displays
Abstract. Large horizontal displays provide new opportunities to support individual and collaborative activities such as creativity and organizational tasks. We present Interface C...
Uta Hinrichs, M. Sheelagh T. Carpendale, Stacey D....
BIRTHDAY
2004
Springer
16 years 3 days ago
Incremental Reasoning for Object Oriented Systems
Inheritance and polymorphism are key mechanisms of the object-oriented approach that enable designers to develop systems in an incremental manner. In this paper, we develop techni...
Neelam Soundarajan, Stephen Fridella