696 search results - page 78 / 140 » Explaining abstract counterexamples |
187
click to vote
SPLC
2010
15 years 4 months ago
2010
Abstract. Feature modeling is a technique for capturing commonality and variability. Feature models symbolize a representation of the possible application configuration space, and ...
193
click to vote
ICFEM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. This paper shows how Ptolemy II discrete-event (DE) models can be formally analyzed using Real-Time Maude. We formalize in Real-Time Maude the semantics of a subset of hi...
212
click to vote
ICUMT
2009
15 years 4 months ago
2009
We define sensor middleware as the binding code mainly running between the sensor OS and applications g programming abstractions to bridge the gap between application developers an...
171
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. In situ hybridisation gene expression information helps biologists identify where a gene is expressed. However, the databases that republish the experimental information ...
207
Voted
JMLR
2010
15 years 1 months ago
2010
This paper describes an approach to constructing a probabilistic process model representing knowledge worker activity out of a log of primitive events, such as e-mails, web page v...