1624 search results - page 180 / 325 » Modelling Variability for System Families |
129
click to vote
QEST
2007
IEEE
15 years 9 months ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
91
Voted
SIAMAM
2008
15 years 3 months ago
2008
We study a chemostat model that describes competition between n microbial species for a single-limited resource based on storage. The model incorporates internal resource storage v...
129
Voted
TROB
2002
15 years 3 months ago
2002
In this paper, we study the interconnection of two robots, which are modeled as port-controlled Hamiltonian systems through a transmission line with time delay. There will be no an...
152
Voted
KDD
2008
ACM
16 years 4 months ago
2008
ACM
Recent work in deduplication has shown that collective deduplication of different attribute types can improve performance. But although these techniques cluster the attributes col...
149
Voted
EPIA
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. This paper describes jcc, an integration of the timed default concurrent constraint programming framework [16] (Timed Default cc) into JAVA [7]. jcc is intended for use i...