Sciweavers

4285 search results - page 751 / 857
» Differential Behavioral Analysis
Sort
View
116
Voted
SPLC
2010
15 years 2 months ago
Context-Dependent Product Line Practice for Constructing Reliable Embedded Systems
This paper proposes a new style of product line engineering methods. It focuses on constructing embedded systems that take into account the contexts such as the external physical ...
Naoyasu Ubayashi, Shin Nakajima, Masayuki Hirayama
GRAPHICSINTERFACE
2008
15 years 2 months ago
Order and entropy in picture passwords
Previous efforts involving picture-based passwords have not focused on maintaining a measurably high level of entropy. Since password systems usually allow user selection of passw...
Saranga Komanduri, Dugald Ralph Hutchings
121
Voted
SDM
2008
SIAM
138views Data Mining» more  SDM 2008»
15 years 2 months ago
Clustering from Constraint Graphs
In constrained clustering it is common to model the pairwise constraints as edges on the graph of observations. Using results from graph theory, we analyze such constraint graphs ...
Ari Freund, Dan Pelleg, Yossi Richter
SIGSAND
2008
15 years 2 months ago
Advanced Reduction Rules for the Verification of EPC Business Process Models
: Conceptual business process models such as Event-driven Process Chains (EPCs) play an important role in the business process management life cycle. The problem in this context is...
Jan Mendling, Wil M. P. van der Aalst
98
Voted
SIMUTOOLS
2008
15 years 2 months ago
MARTE: a profile for RT/E systems modeling, analysis--and simulation?
As its name promises, the Unified Modeling Language (UML) provides a collection of diagrammatic modeling styles. To the early class/objects and use-case diagrams were almost immed...
Frédéric Mallet, Robert de Simone