1501 search results - page 48 / 301 » Towards Integration of Modeling Methods for Cyber-Physical S... |
122
Voted
LCPC
2001
Springer
15 years 8 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...
138
Voted
CIKM
2008
Springer
15 years 5 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...
105
Voted
SCL
2008
15 years 3 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...
119
Voted
ENTCS
2006
15 years 3 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...
255
Voted
SECO
2010
14 years 10 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...