5180 search results - page 265 / 1036 » Concurrency, Time, and Constraints |
203
click to vote
ECOOP
1993
Springer
15 years 10 months ago
1993
Springer
This paper proposes a formalism for reasoning about distributed object-oriented computations. The formalism is an extension of Milner’s CCS with the notion of local time. It allo...
150
click to vote
ENTCS
2008
15 years 6 months ago
2008
Given a timed automaton with parametric timings, our objective is to describe a procedure for deriving constraints on the parametric timings in order to ensure that, for each valu...
176
click to vote
MMMACNS
2005
Springer
16 years 6 days ago
2005
Springer
A new model for representing temporal access control policies is introduced. In this model, temporal authorizations are represented by time attributes associated with both subjects...
204
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
—We consider timed Petri nets, i.e., unbounded Petri nets where each token carries a real-valued clock. Transition arcs are labeled with time intervals, which specify constraints...
171
click to vote
ICCV
2009
IEEE
16 years 11 months ago
2009
IEEE
Correspondence problems are of great importance in
computer vision. They appear as subtasks in many applications
such as object recognition, merging partial 3D reconstructions
a...