1501 search results - page 33 / 301 » Towards Integration of Modeling Methods for Cyber-Physical S... |
109
click to vote
MEDES
2009
ACM
15 years 5 months ago
2009
ACM
The evolution of service-oriented architectures towards digital ecosystems comprehends a number of challenges. According to Papazoglou et al., one challenge is to develop services...
WOA
2000
15 years 18 days ago
2000
There is a growing interest in the integration of mechanized reasoning systems such as automated theorem provers, computer algebra systems, and model checkers. State-of-the-art re...
MM
2006
ACM
15 years 5 months ago
2006
ACM
Most existing web video search engines index videos by file names, URLs, and surrounding texts. These types of video roughly describe the whole video in an abstract level without ...
SUTC
2010
IEEE
15 years 3 months ago
2010
IEEE
—Robotic middlewares increasingly allow the seamless integration of multiple heterogeneous robots into one distributed system. With the inclusion of ambient intelligence and perv...
IPPS
2006
IEEE
15 years 5 months ago
2006
IEEE
In this paper, we present the design and implementation of Ovid, a browser for Grid-related information. The key goal of Ovid is to support the seamless navigation of users in the...