Sciweavers

511 search results - page 25 / 103
» Finite System Composition and Interaction
Sort
View
ICFP
2001
ACM
14 years 7 months ago
Compositional Explanation of Types and Algorithmic Debugging of Type Errors
The type systems of most typed functional programming languages are based on the Hindley-Milner type system. A practical problem with these type systems is that it is often hard t...
Olaf Chitil
MM
2010
ACM
137views Multimedia» more  MM 2010»
13 years 7 months ago
Coming together: composition by negotiation
In this paper, we describe a software system that generates unique musical compositions in realtime, created by four autonomous multi-agents. Given no explicit musical data, agent...
Arne Eigenfeldt
VL
2003
IEEE
105views Visual Languages» more  VL 2003»
14 years 24 days ago
Visual composition of web services
Web services are increasingly attracting attention for their ability to provide standard interfaces to heterogeneous distributed services. Through these standard interfaces, it is...
Cesare Pautasso, Gustavo Alonso
CSFW
1999
IEEE
13 years 12 months ago
Secure Composition of Insecure Components
Software systems are becoming heterogeneous: instead of a small number of large programs from well-established sources, a user's desktop may now consist of many smaller compo...
Peter Sewell, Jan Vitek
IUI
2003
ACM
14 years 24 days ago
Power tools and composite tools: integrating automation with direct manipulation
This paper describes a drawing system that incorporates two novel interaction techniques based on analogies to physical tools. Power tools add limited autonomy in the form of rota...
John M. Daughtry, Robert St. Amant