Sciweavers

3073 search results - page 236 / 615
» Real World Verification
Sort
View
ICSE
2004
IEEE-ACM
16 years 6 months ago
Verifying DAML+OIL and Beyond in Z/EVES
Semantic Web, the next generation of Web, gives data well-defined and machine-understandable meaning so that they can be processed by remote intelligent agents cooperatively. Onto...
Jin Song Dong, Chew Hung Lee, Yuan-Fang Li, Hai H....
DASFAA
2007
IEEE
266views Database» more  DASFAA 2007»
16 years 15 days ago
Compatibility Analysis and Mediation-Aided Composition for BPEL Services
In Service Oriented Architecture (SOA), the need for inter-service compatibility analysis has gone beyond what existing service composition/ verification approaches can handle. Giv...
Wei Tan, Fangyan Rao, Yushun Fan, Jun Zhu
ICIP
2007
IEEE
16 years 14 days ago
Target Detection Through Robust Motion Segmentation and Tracking Restrictions in Aerial Flir Images
An efficient automatic moving target detection and tracking system in airborne forward looking infrared (FLIR) imagery is presented in this paper. Due to camera ego-motion, these ...
Carlos R. del-Blanco, Fernando Jaureguizar, Luis S...
162
Voted
ECUMN
2007
Springer
16 years 9 days ago
A PKI Approach Targeting the Provision of a Minimum Security Level within Internet
After decades of expansion, Internet became an essential tool useful for professionals and private individuals providing a large range of services like emailing, management of ban...
Maryline Laurent-Maknavicius
GI
2007
Springer
16 years 9 days ago
An Object Oriented Approach for Data Fusion
: An new object oriented development suite for data fusion is presented. It is shown how the various issues in the data fusion development like design, implementation, simulation a...
Kaeye Dästner, Thomas Kausch, Felix Opitz