696 search results - page 78 / 140 » Explaining abstract counterexamples |
145
click to vote
SPLC
2010
15 years 1 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 ...
138
Voted
ICFEM
2009
Springer
15 years 1 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...
159
Voted
ICUMT
2009
15 years 1 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...
116
Voted
CORR
2010
Springer
15 years 3 days 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 ...
140
click to vote
JMLR
2010
14 years 10 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...