4434 search results - page 272 / 887 » On the Composition of Hybrid Systems |
180
click to vote
ASWC
2006
Springer
15 years 10 months ago
2006
Springer
Automated Web service composition and automated Web service annotation could be seen as complimentary methodologies. While automated annotation allows to extract Web service semant...
283
Voted
ASE
2011
15 years 1 months ago
2011
This paper introduces a technique for incremental and compositional model checking that allows efficient reuse of model-checking results associated with the features in a product l...
216
click to vote
HAIS
2011
Springer
14 years 10 months ago
2011
Springer
One of the main problems that modern e-mail systems face is the management of the high degree of spam or junk mail they recieve. Those systems are expected to be able to distinguis...
275
click to vote
ICDE
2008
IEEE
16 years 8 months ago
2008
IEEE
Aggregate measures summarizing subsets of data are valuable in exploratory analysis and decision support, especially when dependent aggregations can be easily specified and compute...
162
click to vote
SIGSOFT
2009
ACM
16 years 7 months ago
2009
ACM
Programs of a software product line can be synthesized by composing features which implement a unit of program functionality. In most product lines, only some combination of featu...