3575 search results - page 50 / 715 » Modeling Concurrency with Geometry |
STOC
2005
ACM
15 years 10 months ago
2005
ACM
In the setting of secure multiparty computation, a set of parties wish to to jointly compute some function of their input (i.e., they wish to securely carry out some distributed t...
CLEIEJ
2006
14 years 9 months ago
2006
Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...
127
click to vote
IFIP
2010
Springer
14 years 4 months ago
2010
Springer
Concurrent software is difficult to verify. Because the thread schedule is not controlled by the application, testing may miss defects that occur under specific thread schedules. T...
ANSOFT
1999
14 years 9 months ago
1999
We give a formal framework for studying real-time discrete-event systems. It describes concurrent processes as sets of possible behaviors. Compositions of processes are processes ...
CVPR
2007
IEEE
15 years 11 months ago
2007
IEEE
The non-negativity of color signals implies that they span a conical space with a hyperbolic geometry. We use perspective projections to separate intensity from chromaticity, and ...