11066 search results - page 259 / 2214 » Linearity in Process Languages |
155
click to vote
CONCUR
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We consider linear time temporal logic enriched with semiextended regular expressions through various operators that have been proposed in the literature, in particular i...
134
click to vote
COLING
2008
15 years 6 months ago
2008
We generalize Uno and Yagiura's algorithm for finding all common intervals of two permutations to the setting of two sequences with many-to-many alignment links across the tw...
121
click to vote
AML
2005
15 years 4 months ago
2005
Abstract. We investigate the theories LA, LAP, LAP of linear algebra, which were originally defined to study the question of whether commutativity of matrix inverses has polysize F...
177
click to vote
EWSPT
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. This paper indicates how effective software-process programming languages can lead to improved understandings of critical software processes, as well as improved process ...
133
click to vote
BPM
2010
Springer
15 years 5 months ago
2010
Springer
The processing of data is often restricted by contractual and legal requirements for protecting privacy and IPRs. Policies provide means to control how and by whom data is processe...