Sciweavers

4647 search results - page 398 / 930
» Composite Design Patterns
Sort
View
POPL
2000
ACM
15 years 7 months ago
Modular Refinement of Hierarchic Reactive Machines
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...
Rajeev Alur, Radu Grosu
120
Voted
HT
1991
ACM
15 years 7 months ago
What's Eliza Doing in the Chinese Room? Incoherent Hyperdocuments - and How to Avoid Them
Research on understanding linear texts has shown that comprehension and navigation mainly depend on the reader’s ability to construct a coherent mental representation. While the...
Manfred Thüring, Jörg M. Haake, Jör...
116
Voted
EMSOFT
2008
Springer
15 years 5 months ago
Interface theories with component reuse
Interface theories have been proposed to support incremental design and independent implementability. Incremental design means that the compatibility checking of interfaces can pr...
Laurent Doyen, Thomas A. Henzinger, Barbara Jobstm...
140
Voted
HAID
2008
Springer
15 years 5 months ago
An Audio-Haptic Aesthetic Framework Influenced by Visual Theory
Sound is touch at a distance. The vibration of pressure waves in the air creates sounds that our ears hear, at close range, these pressure waves may also be felt as vibration. This...
Angela Chang, Conor O'Sullivan
SIGSOFT
2003
ACM
16 years 4 months ago
Ontology support for web service processes
Web Services are software services that can be advertised by providers and deployed by customers using Web technologies. This concept is currently carried further to address Web s...
Claus Pahl, Michael Casey