7121 search results - page 122 / 1425 » Functions as Session-Typed Processes |
105
click to vote
DAC
2007
ACM
15 years 1 months ago
2007
ACM
We have reprogrammed the genomes of living cells to construct massively parallel biological computers capable of processing two-dimensional images at a theoretical resolution of g...
COLT
2004
Springer
15 years 1 months ago
2004
Springer
We study the problem of classifying data in a given taxonomy when classifications associated with multiple and/or partial paths are allowed. We introduce an incremental algorithm u...
ICSOFT
2008
14 years 11 months ago
2008
One of the primary benefits of Service Oriented Architecture (SOA) [1] is the ability to compose applications, processes or more complex services from other services. As the comple...
TAP
2008
Springer
14 years 10 months ago
2008
Springer
This article presents the generation and test case execution under the framework Focal. In the programming language Focal, all properties of the program are written within the sour...
JSW
2007
14 years 9 months ago
2007
— Providing powerful and fine-grained capabilities for the analysis and management of non-functional properties is a major challenge for component-based software systems. This a...