Sciweavers

5334 search results - page 510 / 1067
» Communicating quantum processes
Sort
View
PODC
1991
ACM
15 years 10 months ago
Randomized Wait-Free Concurrent Objects (Extended Abstract)
d abstract) Maurice Herlihy Digital Equipment Corporation Cambridge Research Laboratory One Kendall Square Cambridge MA, 02139 Digital Equipment Corporation Cambridge Research Lab ...
Maurice Herlihy
ECBS
2010
IEEE
200views Hardware» more  ECBS 2010»
15 years 9 months ago
Towards an Architectural Framework for Agile Software Development
—One of the ideas of agile software development is to respond to changes rather than following a plan. Constantly changing businesses result in changing requirements, to be handl...
Richard Mordinyi, eva Kühn, Alexander Schatte...
DEBS
2008
ACM
15 years 9 months ago
Distributed automatic service composition in large-scale systems
Automatic service composition is an active research area in the field of service computing. This paper presents a distributed approach to automatically discover a composition of s...
Songlin Hu, Vinod Muthusamy, Guoli Li, Hans-Arno J...
ESOP
2008
Springer
15 years 9 months ago
Open Bisimulation for the Concurrent Constraint Pi-Calculus
Abstract. The concurrent constraint pi-calculus (cc-pi-calculus) has been introduced as a model for concluding Service Level Agreements. The cc-pi calculus combines the synchronous...
Maria Grazia Buscemi, Ugo Montanari
LREC
2010
159views Education» more  LREC 2010»
15 years 8 months ago
A Snack Implementation and Tcl/Tk Interface to the Fundamental Frequency Variation Spectrum Algorithm
Intonation is an important aspect of vocal production, used for a variety of communicative needs. Its modeling is therefore crucial in many speech understanding systems, particula...
Kornel Laskowski, Jens Edlund