812 search results - page 130 / 163 » New Visual Interface for Engineering Use Case Models |
113
click to vote
ICFEM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We study the problem of applying statistical methods for approximate model checking of probabilistic systems against properties encoded as PCTL formulas. Such approximate...
COMPSAC
2004
IEEE
15 years 1 months ago
2004
IEEE
Context-sensitive middleware-based software is an emerging kind of ubiquitous computing application. The components of such software communicate proactively among themselves accor...
ECMDAFA
2007
Springer
15 years 3 months ago
2007
Springer
Although there are a large number of academic and industrial model transformation frameworks available, allowing specification, implementation, maintenance and documentation of mod...
SIGSOFT
2009
ACM
15 years 10 months ago
2009
ACM
A bug report is typically assigned to a single developer who is then responsible for fixing the bug. In Mozilla and Eclipse, between 37%-44% of bug reports are "tossed" ...
109
Voted
BMCBI
2008
14 years 8 months ago
2008
Background: During the most recent decade many Bayesian statistical models and software for answering questions related to the genetic structure underlying population samples have...