Sciweavers

7452 search results - page 1151 / 1491
» A Semantics for Multiprocessor Systems
Sort
View
ICMCS
2007
IEEE
128views Multimedia» more  ICMCS 2007»
16 years 1 months ago
Interactive Visualization Tool with Graphic Table of Video Contents
We present an interactive visualization, called Table Of Video Contents (TOVC), for browsing structured TV programs such as news, magazines or sports. In these telecasts, getting ...
Hervé Goeau, Jérôme Thiè...
IRI
2007
IEEE
16 years 1 months ago
The Certification of Software Tools with respect to Software Standards
Software development standards such as the UML provide complex modeling languages for specifying, visualizing, constructing, and documenting the artifacts of software systems [1]....
Panuchart Bunyakiati, Anthony Finkelstein, David S...
ITNG
2007
IEEE
16 years 1 months ago
Efficient Spam Email Filtering using Adaptive Ontology
Email has become one of the fastest and most economical forms of communication. However, the increase of email users has resulted in the dramatic increase of spam emails during th...
Seongwook Youn, Dennis McLeod
QEST
2007
IEEE
16 years 1 months ago
Stochastic Game Logic
Stochastic game logic (SGL) is a new temporal logic that combines features of alternating temporal logic (to formalize the individual views and cooperation and reaction facilities...
Christel Baier, Tomás Brázdil, Marcu...
QSIC
2007
IEEE
16 years 1 months ago
A Pattern-Based Constraint Description Approach for Web Services
Current WSDL-based description specifies only the operation signatures and locations of Web services. It is widely recognized that a richer description is needed. WS-Security, WS-...
Qianxiang Wang, Min Li, Na Meng, Yonggang Liu, Hon...
« Prev « First page 1151 / 1491 Last » Next »