11066 search results - page 191 / 2214 » Linearity in Process Languages |
110
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
We show that the Parikh image of the language of an NFA with n states over an alphabet of size k can be described as a finite union of linear sets with at most k generators and to...
140
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
Based on data from a large-scale experiment with human subjects, we conclude that the logarithm of probability to guess a word in context (unpredictability) depends linearly on the...
130
click to vote
POPL
2010
ACM
16 years 1 months ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
161
click to vote
EDOC
2009
IEEE
15 years 7 months ago
2009
IEEE
A key challenge in devising solutions to a range of problems associated with business process management: process life cycle management, compliance management, enterprise process ...
169
click to vote
EDOC
2005
IEEE
15 years 9 months ago
2005
IEEE
Data Warehouse (DWH) information is accessed by business processes, and sometimes may also initiate changes of the control flow of business process instances. Today, there are no ...