7452 search results - page 1151 / 1491 » A Semantics for Multiprocessor Systems |
150
click to vote
ICMCS
2007
IEEE
16 years 1 months ago
2007
IEEE
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 ...
147
click to vote
IRI
2007
IEEE
16 years 1 months ago
2007
IEEE
Software development standards such as the UML provide complex modeling languages for specifying, visualizing, constructing, and documenting the artifacts of software systems [1]....
199
click to vote
ITNG
2007
IEEE
16 years 1 months ago
2007
IEEE
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...
199
click to vote
QEST
2007
IEEE
16 years 1 months ago
2007
IEEE
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...
153
click to vote
QSIC
2007
IEEE
16 years 1 months ago
2007
IEEE
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-...