1501 search results - page 48 / 301 » Towards Integration of Modeling Methods for Cyber-Physical S... |
139
click to vote
LCPC
2001
Springer
15 years 9 months ago
2001
Springer
Component architectures promote cross-project code reuse by facilitating composition of large applications using off-the-shelf software components. Existing component architecture...
153
click to vote
CIKM
2008
Springer
15 years 7 months ago
2008
Springer
Search engine researchers typically depict search as the solitary activity of an individual searcher. In contrast, results from our critical-incident survey of 150 users on Amazon...
121
click to vote
SCL
2008
15 years 5 months ago
2008
: The paper considers a model validation problem for a class of uncertain systems in which the uncertainty is described by an integral quadratic constraint and the uncertain system...
135
click to vote
ENTCS
2006
15 years 5 months ago
2006
We propose a formal method to validate the reliability of a web application, by modeling interactions among its constituent objects. Modeling exploits the recent "Multiple Le...
279
click to vote
SECO
2010
14 years 12 months ago
2010
In the Search Computing project, Web services are modeled by the Semantic Resource Framework (SRF). In this article, we argue that the SRF could benefit from ontological concepts b...