Sciweavers

2450 search results - page 187 / 490
» On Application of Structural Decomposition for Process Model...
Sort
View
138
Voted
ICST
2010
IEEE
15 years 3 months ago
Timed Moore Automata: Test Data Generation and Model Checking
Abstract—In this paper we introduce Timed Moore Automata, a specification formalism which is used in industrial train control applications for specifying the real-time behavior ...
Helge Löding, Jan Peleska
SERP
2003
15 years 6 months ago
Mappings between Object-Oriented Technology and Architecture-Based Models
In recent publications, two prominent approaches can be found which deal with the complexity of large software systems. First, there is the object–oriented approach, where ”ob...
Peter Tabeling, Bernhard Gröne
SIGIR
1996
ACM
15 years 8 months ago
Retrieval of Complex Objects Using a Four-Valued Logic
The aggregated structure of documents plays a key role in full-text, multimedia, and network Information Retrieval (IR). Considering aggregation provides new querying facilities a...
Thomas Rölleke, Norbert Fuhr
145
Voted
HIPC
1999
Springer
15 years 8 months ago
Process Migration Effects on Memory Performance of Multiprocessor
Abstract. In this work we put into evidence how the memory performance of a WebServer machine may depend on the sharing induced by process migration. We considered a shared-bus sha...
Pierfrancesco Foglia, Roberto Giorgi, Cosimo Anton...
141
Voted
ICIP
2007
IEEE
16 years 6 months ago
Video Content Representation by Incremental Non-Negative Matrix Factorization
Nonnegative Matrix Factorization (NMF) is a powerful decomposition tool which has been used in several content representation applications recently. However, there are some diffic...
Bilge Günsel, Serhat Selcuk Bucak