10458 search results - page 404 / 2092 » Modeling Features at Runtime |
174
click to vote
MKWI
2008
15 years 8 months ago
2008
: A common problem in model-driven software development processes is the tracing of requirements across different phases of the software development life cycle iple levels of abstr...
190
click to vote
IJCAI
2003
15 years 8 months ago
2003
This paper addresses the formal verification of diagnosis systems. We tackle the problem of diagnosability: given a partially observable dynamic system, and a diagnosis system obs...
167
click to vote
JCP
2006
15 years 6 months ago
2006
In this paper, we discuss a general methodology for analysis and modeling of trust relationships in distributed computing. We discuss the classification of trust relationships, cat...
157
click to vote
PPL
2008
15 years 6 months ago
2008
This paper investigates the influence of the interconnection network topology of a parallel system on the delivery time of an ensemble of messages, called the communication scheme...
189
Voted
ACL
2010
15 years 4 months ago
2010
We present cdec, an open source framework for decoding, aligning with, and training a number of statistical machine translation models, including word-based models, phrase-based m...