1073 search results - page 85 / 215 » Reasoning about Continuous Processes |
134
Voted
VAMOS
2007
Springer
15 years 8 months ago
2007
Springer
A short theatrical exaggeration (but not too much) which describes practical problems with variability as experienced by real-world software developers. Real issue, there are no p...
128
click to vote
QEST
2005
IEEE
15 years 8 months ago
2005
IEEE
iLTL is a probabilistic temporal logic that can specify properties of multiple discrete time Markov chains (DTMCs). In this paper, we describe two related tools: MarkovEstimator a...
148
click to vote
WCRE
2003
IEEE
15 years 8 months ago
2003
IEEE
There are many good reasons why organizations should perform software architecture reconstructions. However, few organizations are willing to pay for the effort. Software architec...
139
Voted
IJAR
2010
15 years 1 months ago
2010
Geospatial Reasoning has been an essential aspect of military planning since the invention of cartography. Although maps have always been a focal point for developing situational ...
147
Voted
JAISE
2010
14 years 9 months ago
2010
The ability to identify the behavior of people in a home is at the core of Smart Home functionality. Such environments are equipped with sensors that unobtrusively capture informat...