Sciweavers

1969 search results - page 95 / 394
» Pattern Languages in Interaction Design
Sort
View
DEXAW
2005
IEEE
96views Database» more  DEXAW 2005»
15 years 8 months ago
Mining Complex Patterns from Protein Surfaces
In the domain of bioinformatics, the role played in the biological process by proteins, that act as transmitters and receivers of information thus ruling the mechanisms that deter...
Lorenzo Baldacci, Matteo Golfarelli
DATE
2003
IEEE
87views Hardware» more  DATE 2003»
15 years 7 months ago
A Proposal for Transaction-Level Verification with Component Wrapper Language
We propose a new approach to accelerate transaction level verification by raising the productivity of the verification suites including test patterns, protocol checker, and simula...
Koji Ara, Kei Suzuki
ECBS
2008
IEEE
126views Hardware» more  ECBS 2008»
15 years 4 months ago
ALI: An Extensible Architecture Description Language for Industrial Applications
While Architecture Description Languages (ADLs) have gained wide acceptance in the research community as a means of describing system designs, the uptake in industry has been slow...
Rabih Bashroush, Ivor T. A. Spence, Peter Kilpatri...
ICFP
2007
ACM
15 years 6 months ago
iTasks: executable specifications of interactive work flow systems for the web
In this paper we introduce the iTask system: a set of combinators to specify work flows in a pure functional language at a very high level of abstraction. Work flow systems are au...
Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopm...
ECSA
2010
Springer
15 years 1 months ago
Mediating Connector Patterns for Components Interoperability
A key objective for ubiquitous environments is to enable system interoperability between system’s components that are highly heterogeneous. In particular, the challenge is to emb...
Romina Spalazzese, Paola Inverardi