Sciweavers

3161 search results - page 267 / 633
» Documenting framework behavior
Sort
View
DSN
2006
IEEE
16 years 25 days ago
Dynamic Verification of Memory Consistency in Cache-Coherent Multithreaded Computer Architectures
—Multithreaded servers with cache-coherent shared memory are the dominant type of machines used to run critical network services and database management systems. To achieve the h...
Albert Meixner, Daniel J. Sorin
ICALT
2006
IEEE
16 years 25 days ago
Adapting SME Learning Environments for Adaptivity
There is a genuine demand for personalization and guidance in learning systems, as well as in general commercial learning systems for the WWW, and further, for the new, emerging S...
Alexandra I. Cristea, Angelo Wentzler, Egbert Heuv...
CNSR
2005
IEEE
145views Communications» more  CNSR 2005»
16 years 12 days ago
PENS: A Personalized Electronic News System
A framework has been developed as a basis for design and implementation of adaptive Web systems. This framework and the respective architecture support the idea of high-level synt...
Mehran Nadjarbashi-Noghani, Jie Zhang, Hossein Sad...
SOFTVIS
2005
ACM
16 years 10 days ago
Visualization of mobile object environments
This paper presents a system for visualizing mobile object frameworks. In such frameworks, the objects can migrate to remote hosts, along with their state and behavior, while the ...
Yaniv Frishman, Ayellet Tal
BIRTHDAY
2005
Springer
16 years 9 days ago
Flexible Interconnection of Graph Transformation Modules
Modularization is a well-known concept to structure software systems as well as their specifications. Modules are equipped with export and import interfaces and thus can be connec...
Gregor Engels, Reiko Heckel, Alexey Cherchago