Sciweavers

1405 search results - page 192 / 281
» Software engineering for and with artists: a case study
Sort
View
IIIX
2006
ACM
14 years 2 months ago
Towards genre classification for IR in the workplace
Abstract. Use of document genre in information retrieval systems has the potential to improve the task-appropriateness of results. However, genre classification remains a challengi...
Luanne Freund, Charles L. A. Clarke, Elaine G. Tom...
FOSSACS
2005
Springer
14 years 2 months ago
Third-Order Idealized Algol with Iteration Is Decidable
The problems of contextual equivalence and approximation are studied for the third-order fragment of Idealized Algol with iteration (IA∗ 3). They are approached via a combination...
Andrzej S. Murawski, Igor Walukiewicz
FSTTCS
2005
Springer
14 years 2 months ago
Fixpoint Logics on Hierarchical Structures
Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph de...
Stefan Göller, Markus Lohrey
SELMAS
2005
Springer
14 years 2 months ago
Policy-Driven Configuration and Management of Agent Based Distributed Systems
In this paper, we demonstrate a policy based approach for building and managing large scale agent based systems. We identify different classes of policies for agent based componen...
Anand R. Tripathi, Devdatta Kulkarni, Tanvir Ahmed
MSR
2010
ACM
14 years 2 months ago
Mining subclassing directives to improve framework reuse
—To help developers in using frameworks, good documentation is crucial. However, it is a challenge to create high quality documentation especially of hotspots in white-box framew...
Marcel Bruch, Mira Mezini, Martin Monperrus