4666 search results - page 358 / 934 » Equations on Timed Languages |
219
click to vote
DATESO
2009
15 years 4 months ago
2009
The Business Process Model represented as a diagram in Business Process Modeling Notation (BPMN) is a commonly used way how to describe business processes of an organization. Probl...
187
Voted
IPSN
2009
Springer
16 years 1 months ago
2009
Springer
Sensor network application experts such as biologists, geologists, and environmental engineers generally have little experience with, and little patience for, general-purpose and ...
140
click to vote
CC
2007
Springer
16 years 1 months ago
2007
Springer
Implementing a new programming language by the means of a translator to an existing language is attractive as it provides portability over all platforms supported by the host langu...
184
click to vote
PLDI
2003
ACM
16 years 2 days ago
2003
ACM
We compile Nova, a new language designed for writing network processing applications, using a back end based on integer-linear programming (ILP) for register allocation, optimal b...
175
click to vote
CONCUR
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Quantitative languages are an extension of boolean languages that assign to each word a real number. Mean-payoff automata are finite automata with numerical weights on tr...