4286 search results - page 801 / 858 » Formalizing Service Interactions |
108
click to vote
IEEEARES
2007
IEEE
15 years 8 months ago
2007
IEEE
Validating an end-entity X.509 digital certificate prior to authorizing it for using a resource into the computational Grid has become a widely studied topic due to its importance...
131
Voted
KBSE
2007
IEEE
15 years 8 months ago
2007
IEEE
Flow composition languages permit the construction of longrunning transactions from collections of independent, atomic services. Due to environmental limitations, such transaction...
133
Voted
RTAS
2007
IEEE
15 years 8 months ago
2007
IEEE
Over the last thirty years, the MIL-STD 1553B data bus has been used in many embedded systems, like aircrafts, ships, missiles and satellites. However, the increasing number and c...
133
Voted
SOFSEM
2007
Springer
15 years 8 months ago
2007
Springer
We investigate deterministically simulating (i.e., solving the membership problem for) nondeterministic finite automata (NFA), relying solely on the NFA’s resources (states and ...
155
click to vote
RTSS
2005
IEEE
15 years 8 months ago
2005
IEEE
Recently there has been a growing interest in models and methods targeted towards the (co)design of stream processing applications; e.g. those for audio/video processing. Streams ...