Sciweavers

4067 search results - page 286 / 814
» Programs for Applying Symmetries
Sort
View
ICTL
1994
15 years 10 months ago
A Survey of Concurrent METATEM - the Language and its Applications
In this paper we present a survey of work relating to the Concurrent METATEM programming language. In addition to a description of the basic Concurrent METATEM system, which incorp...
Michael Fisher
IFIP
1992
Springer
15 years 10 months ago
Defining the Dynamic Behaviour of Animated Interfaces
This paper presents Whizz, a system for building animated interactive applications. We describe its musical metaphor, and its underlying model based on streams and events. We anal...
Stéphane Chatty
CTCS
1989
Springer
15 years 10 months ago
Temporal Structures
We combine the principles of the Floyd-Warshall-Kleene algorithm, enriched categories, and Birkhoff arithmetic, to yield a useful class of algebras of transitive vertex-labeled s...
Ross Casley, Roger F. Crew, José Meseguer, ...
EUROMICRO
2004
IEEE
15 years 10 months ago
Introducing Agile Methods: Three Years of Experience
The paper summarizes three years of experience of introducing agile practices in academic environments. The perceptions of students from four different academic programs (Diploma,...
Grigori Melnik, Frank Maurer
ECOOP
2006
Springer
15 years 10 months ago
Solving Aspectual Semantic Conflicts in Resource Aware Systems
Aspects sometimes conflict between them in scenarios where they reify resource awareness concerns. These conflicts are the result of the scarcity of resources and the fact that, f...
Arturo Zambrano, Tomás Vera, Silvia E. Gord...