Sciweavers

20024 search results - page 3743 / 4005
» Database Management Systems
Sort
View
154
Voted
DSVIS
2008
Springer
15 years 5 months ago
Towards a Library of Workflow User Interface Patterns
Abstract. A collection of user interface design patterns for workflow information systems is presented. Each Workflow User Interface Pattern (WUIP) is characterized by properties e...
Josefina Guerrero García, Jean Vanderdonckt...
125
Voted
EKAW
2008
Springer
15 years 5 months ago
A Pattern and Rule-Based Approach for Reusing Adaptive Hypermedia Creator's Models
The design of Adaptive Hypermedia is a difficult task which can be made easier if generic systems and AH creators' models are reused. We address this design problem in the set...
Nadjet Zemirline, Chantal Reynaud, Yolaine Bourda,...
124
Voted
ERLANG
2008
ACM
15 years 5 months ago
Testing Erlang data types with quviq quickcheck
When creating software, data types are the basic bricks. Most of the time a programmer will use data types defined in library modules, therefore being tested by many users over ma...
Thomas Arts, Laura M. Castro, John Hughes
ESOP
2008
Springer
15 years 5 months ago
Typing Safe Deallocation
In this work we address the problem of proving, by static analysis means, that allocating and deallocating regions in the store provides a safe way to achieve memory management. Th...
Gérard Boudol
121
Voted
ESWS
2008
Springer
15 years 5 months ago
Combining Fact and Document Retrieval with Spreading Activation for Semantic Desktop Search
Abstract. The Semantic Desktop is a means to support users in Personal Information Management (PIM). It provides an excellent test bed for Semantic Web technology: resources (e. g....
Kinga Schumacher, Michael Sintek, Leo Sauermann
« Prev « First page 3743 / 4005 Last » Next »