6274 search results - page 641 / 1255 » Proofs, Programs, Processes |
193
click to vote
TCS
2010
15 years 5 months ago
2010
Web services are distributed processes with a public description of their behavior, or contract. The availability of repositories of Web service descriptions enables interesting f...
211
click to vote
GLOBECOM
2010
IEEE
15 years 5 months ago
2010
IEEE
Multi-string matching is a key technique for implementing network security applications like Network Intrusion Detection Systems (NIDS) and anti-virus scanners. Existing DFA-based ...
185
click to vote
IMCSIT
2010
15 years 5 months ago
2010
Abstract--The paper presents an architecture and implementation that allows distributed execution of workflow applications in BeesyCluster using agents. BeesyCluster is a middlewar...
200
click to vote
SAFECOMP
2010
Springer
15 years 5 months ago
2010
Springer
Formal verification efforts in the area of robotics are still comparatively scarce. In this paper we report on our experiences with one such effort, which was concerned with design...
208
click to vote
ICCV
2009
IEEE
15 years 5 months ago
2009
IEEE
This paper investigates a new learning formulation called dynamic group sparsity. It is a natural extension of the standard sparsity concept in compressive sensing, and is motivat...