Sciweavers

3750 search results - page 131 / 750
» Timed Automata Patterns
Sort
View
AICCSA
2006
IEEE
106views Hardware» more  AICCSA 2006»
16 years 14 days ago
Stable Analysis Patterns
Software analysis patterns are believed to play a major role in reducing the cost and condensing the time of software product lifecycles. However, analysis patterns have not reali...
Haitham S. Hamza, Mohamed E. Fayad
MC
2008
126views Computer Science» more  MC 2008»
15 years 7 months ago
Identifying User Interface Patterns from Pertinent Multimodal Interaction Use Cases
The context of this work is usability engineering for multimodal interaction. In contrast to other work centrates on prototyping toolkits or abstract guidelines, this research foc...
Andreas Ratzka
SSDBM
2005
IEEE
115views Database» more  SSDBM 2005»
15 years 12 months ago
Using Multi-Scale Histograms to Answer Pattern Existence and Shape Match Queries
Similarity-based querying of time series data can be categorized as pattern existence queries and shape match queries. Pattern existence queries find the time series data with ce...
Lei Chen 0002, M. Tamer Özsu, Vincent Oria
MODELS
2007
Springer
16 years 16 days ago
Finding the Pattern You Need: The Design Pattern Intent Ontology
Abstract. Since the seminal book by the Gang of Four, design patterns have proven an important tool in software development. Over time, more and more patterns have been discovered ...
Holger Kampffmeyer, Steffen Zschaler
QEST
2010
IEEE
15 years 4 months ago
Timed Branching Processes
We study Timed Branching Processes (TBPs), a natural extension of (multitype) Branching Processes (BPs) where each entity is equipped with a finite set of private continuous variab...
Ashutosh Trivedi, Dominik Wojtczak