Sciweavers

394 search results - page 53 / 79
» Composing Specifications
Sort
View
VAMOS
2010
Springer
15 years 1 months ago
Using Incremental Consistency Management for Conformance Checking in Feature-Oriented Model-Driven Engineering
Feature-Oriented Model-Driven Engineering (FOMDE) is an approach that lies at the intersection of two complementary paradigms for software construction, Model Driven Engineering (M...
Roberto E. Lopez-Herrejon, Alexander Egyed, Salvad...
HIS
2008
15 years 1 months ago
Evaluating Ranking Composition Methods for Multi-Objective Optimization of Knowledge Rules
Most symbolic classifiers aim at building sets of rules with good coverage and precision. While this is suitable for most applications, they tend to neglect other desirable proper...
Rafael Giusti, Gustavo E. A. P. A. Batista, Ronald...
ICWSM
2008
15 years 1 months ago
Recovering Implicit Thread Structure in Newsgroup Style Conversations
On-line discussions are composed of multiple inter-woven threads, regardless of whether that threaded structure is made explicit in the representation and presentation of the conv...
Yi-Chia Wang, Mahesh Joshi, William W. Cohen, Caro...
WONTO
2008
15 years 1 months ago
Personalized Reliable Web service Compositions
Nowadays Internet is anywhere and users can find all possible information. In this situation, the new challenge is to provide the right information at the right time. As Web servic...
Daniela Barreiro Claro, Oriana Licchelli, Patrick ...
AAAI
2006
15 years 1 months ago
A Causal Analysis Method for Concurrent Hybrid Automata
Modern artifacts are typically composed of many system components and exhibit a complex pattern of continuous/discrete behaviors. A concurrent hybrid automaton is a powerful model...
Michael W. Hofbaur, Franz Wotawa