1992 search results - page 190 / 399 » Model Based Testing with Labelled Transition Systems |
149
click to vote
GECCO
2008
Springer
15 years 4 months ago
2008
Springer
In this work we present a new methodology for structure and parameter estimation in cell systems biology modelling. Our modelling framework is based on P systems, an unconl comput...
164
click to vote
JEI
2007
15 years 3 months ago
2007
Abstract. A number of successful tone mapping operators for contrast compression have been proposed due to the need to visualize high dynamic range (HDR) images on low dynamic rang...
120
click to vote
TVCG
2010
15 years 2 months ago
2010
—We present TanGeoMS, a tangible geospatial modeling visualization system that couples a laser scanner, projector, and a flexible physical three-dimensional model with a standar...
162
Voted
RAID
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We propose a novel framework of autonomic intrusion detection that fulfills online and adaptive intrusion detection in unlabeled audit data streams. The framework owns a...
142
click to vote
ICDCSW
2008
IEEE
15 years 10 months ago
2008
IEEE
Reputation mechanisms are a key technique to trust assessment in large-scale decentralized systems. The effectiveness of reputation-based trust management fundamentally relies on ...