647 search results - page 48 / 130 » An Approach to Relate Viewpoints and Modeling Languages |
130
click to vote
QUATIC
2007
IEEE
15 years 10 months ago
2007
IEEE
Software product lines and related approaches, like software factories, are starting to capture the attention of the industry practitioners. Nevertheless, their adoption outside t...
145
click to vote
LOGCOM
2007
15 years 4 months ago
2007
In Artificial Intelligence there is a need for reasoning about continuous processes, where assertions refer to time intervals rather than time points. Taking our lead from van Ben...
145
click to vote
FC
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Starting from algebraic properties that enable guessing lowentropy secrets, we formalize guessing rules for symbolic verification. The rules are suited for both off-line ...
123
click to vote
ICST
2008
IEEE
15 years 10 months ago
2008
IEEE
Testing remains a major challenge for model transformation development. Test models that are used as test data for model transformations, are constrained by various sources of kno...
143
click to vote
TREC
2007
2007
Exploring Traits of Adjectives to Predict Polarity Opinion in Blogs and Semantic Filters in Genomics
15 years 5 months ago
: This paper presents the results of our team in the Genomics and Blog tracks in TREC 2007. We used the language model implementation provided by Indri for both tracks. For the BLO...