Sciweavers

Share
47 search results - page 1 / 10
» POD - A Tool For Process Discovery Using Partial Orders and ...
Sort
View
IEEESCC
2008
IEEE
12 years 8 months ago
Built-to-Order Service Engineering for Enterprise IT Discovery
Enterprise IT environments are complex: business applications rely on distributed middleware running on diverse hardware with components depending on each other in many unexpected...
Nikolai Joukov, Murthy V. Devarakonda, Kostas Mago...
FORMATS
2007
Springer
12 years 5 months ago
Partial Order Reduction for Verification of Real-Time Components
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
John Håkansson, Paul Pettersson
MKM
2007
Springer
12 years 8 months ago
Using Formal Concept Analysis in Mathematical Discovery
Formal concept analysis (FCA) comprises a set of powerful algorithms which can be used for data analysis and manipulation, and a set of visualisation tools which enable the discove...
Simon Colton, Daniel Wagner
ASE
2004
167views more  ASE 2004»
12 years 1 months ago
Cluster-Based Partial-Order Reduction
The verification of concurrent systems through an exhaustive traversal of the state space suffers from the infamous state-space-explosion problem, caused by the many interleavings ...
Twan Basten, Dragan Bosnacki, Marc Geilen
IDA
2009
Springer
11 years 11 months ago
Ontology-Driven KDD Process Composition
Abstract. One of the most interesting challenges in Knowledge Discovery in Databases (KDD) eld is giving support to users in the composition of tools for forming a valid and useful...
Claudia Diamantini, Domenico Potena, Emanuele Stor...
books