Sciweavers

1661 search results - page 92 / 333
» Real-time specification patterns
Sort
View
CAISE
2008
Springer
15 years 3 days ago
A Process Engineering Method based on a Process Domain Model and Patterns
There are many different process meta-models that offer different viewpoints of a same process: activity oriented, product oriented, decision oriented, context oriented and strateg...
Charlotte Hug, Agnès Front, Dominique Rieu
CIARP
2006
Springer
15 years 1 months ago
Linear Radial Patterns Characterization for Automatic Detection of Tonic Intestinal Contractions
This work tackles the categorization of general linear radial patterns by means of the valleys and ridges detection and the use of descriptors of directional information, which are...
Fernando Vilariño, Panagiota Spyridonos, Jo...
105
Voted
CHB
2010
130views more  CHB 2010»
14 years 4 months ago
Building an interaction design pattern language: A case study
Interaction design patterns are a proven way to communicate good design. However, current pattern collections are not sufficiently powerful and generative to be used as a guide fo...
Stefan L. Pauwels, Christian Hübscher, Javier...
ICPR
2006
IEEE
15 years 11 months ago
Patterns of Co-Linear Equidistant Letter Sequences and Verses
It has been shown ([4], [3]) that equidistant letter sequence (ELS) pairs in the book of Genesis (G) form more compact geometric patterns on the surface of a cylinder than is expe...
Nachum Bombach, Harold Gans
SIGSOFT
2008
ACM
15 years 11 months ago
Javert: fully automatic mining of general temporal properties from dynamic traces
Program specifications are important for many tasks during software design, development, and maintenance. Among these, temporal specifications are particularly useful. They expres...
Mark Gabel, Zhendong Su