815 search results - page 46 / 163 » Algebraic Recognizability of Languages |
EPEW
2005
Springer
15 years 5 months ago
2005
Springer
Compensation is an error recovery mechanism for long-running transactions. Compensating CSP is a variant of the CSP process algebra with constructs for orchestration of compensatio...
FORTE
2004
15 years 1 months ago
2004
Abstract. Event-based process algebraic specification languages support an elegant specification technique by which system behaviours are described as compositions of constraints o...
INFOCOM
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract—Opportunistic routing (OR) has received much attention as a new routing paradigm due to its efficient utilization of broadcasting and spacial diversity of the wireless ...
129
click to vote
IPPS
2009
IEEE
15 years 6 months ago
2009
IEEE
—We present an application programming interface (API) for the C programming language that facilitates the development of dense linear algebra algorithms on graphics processors a...
129
click to vote
APWEB
2004
Springer
15 years 5 months ago
2004
Springer
The management of voluminous heterogeneous resources and services in the web environment is a complex task. Semantic knowledge is playing an increasing important role in order to h...