7121 search results - page 350 / 1425 » Functions as Session-Typed Processes |
194
click to vote
ECBS
2005
IEEE
16 years 9 days ago
2005
IEEE
CSP++ is an object-oriented application framework for execution of CSP specifications that have been automatically synthesized into C++ source code by the cspt translator. We desc...
227
click to vote
ICDAR
2005
IEEE
16 years 9 days ago
2005
IEEE
Handwritten text lines are prominent structures in freeform digital ink notes and their reliable detection is the foundation to a natural and intelligent interface for note editin...
141
click to vote
CRYPTO
2005
Springer
16 years 6 days ago
2005
Springer
We investigate methods for providing easy-to-check proofs of computational effort. Originally intended for discouraging spam, the concept has wide applicability as a method for co...
161
click to vote
GECCO
2005
Springer
16 years 6 days ago
2005
Springer
Checking if microprocessor cores are fully functional at the end of the productive process has become a major issue. Traditional functional approaches are not sufficient when cons...
169
click to vote
VLDB
2005
ACM
16 years 5 days ago
2005
ACM
In many systems, sensors are used to acquire information from external environments such as temperature, pressure and locations. Due to continuous changes in these values, and lim...