4327 search results - page 23 / 866 » Web presentation system using RST events |
WECWIS
2007
IEEE
15 years 3 months ago
2007
IEEE
Market players that can respond to critical business events faster than their competitors will end up as winners in the fast moving economy. Event-based systems have been develope...
ICPR
2008
IEEE
15 years 4 months ago
2008
IEEE
We propose a method to improve the results of image search engines on the Internet to satisfy users who desire to see relevant images in the first few pages. The method re-ranks ...
GI
2007
Springer
15 years 3 months ago
2007
Springer
: Bremen, Federal State of Germany, is planning to set up a headquarter for GMES - Global Monitoring of Environment and Security. One goal of the Institute of Shipping Economics an...
SBMF
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Event-B is a formal method used for specifying and reasoning about systems. Rodin is a toolset for developing system models in Event-B. Our experiment which is outlined i...
DEDS
2007
14 years 9 months ago
2007
Decentralized diagnosis of discrete event systems has received a lot of attention to deal with distributed systems or with systems that may be too large to be diagnosed by one cen...