Sciweavers

9642 search results - page 1556 / 1929
» Semantics in Multimedia Systems
Sort
View
ADC
2008
Springer
146views Database» more  ADC 2008»
15 years 5 months ago
A Typed Higher-Order Calculus for Querying XML Databases
As the eXtensible Markup Language (XML) is about to emerge as a new standard for databases, the problem of providing solid logical grounds for XML query languages arises. For the ...
Qing Wang, Klaus-Dieter Schewe
ICDCSW
2007
IEEE
15 years 5 months ago
Transactions in Content-Based Publish/Subscribe Middleware
Content-based publish/subscribe provides a flexible communication model for component interoperation in large-scale environments. In process support systems and other application...
Luis Vargas, Lauri I. W. Pesonen, Ehud Gudes, Jean...
IRI
2007
IEEE
15 years 5 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
15 years 5 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
15 years 5 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...
« Prev « First page 1556 / 1929 Last » Next »