3239 search results - page 254 / 648 » A Logical Process Calculus |
146
click to vote
ETAI
1998
15 years 4 months ago
1998
Any model of the world a robot constructs on the basis of its sensor data is necessarily both incomplete, due to the robot’s limited window on the world, and uncertain, due to s...
133
click to vote
WWW
2004
ACM
16 years 5 months ago
2004
ACM
This paper presents a Service-Oriented Process Model (SOM) to build a web-services based process management system, called MIDAS that would support distributed Design and Manufact...
236
Voted
POPL
2001
ACM
16 years 5 months ago
2001
ACM
We propose a general, powerful framework of type systems for the -calculus, and show that we can obtain as its instances a variety of type systems guaranteeing non-trivial propert...
147
click to vote
ICASSP
2009
IEEE
15 years 11 months ago
2009
IEEE
We provide a review of independent component analysis (ICA) for complex-valued improper and noncircular random sources. An improper random signal is correlated with its complex co...
146
click to vote
SP
2006
IEEE
15 years 11 months ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...