3440 search results - page 134 / 688 » Logics For Context-Free Languages |
178
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
We introduce an extension of linear constraints, called linearrange constraints, which allows for (meta-)reasoning about the approximation width of variables. Semantics for linear...
190
click to vote
OOPSLA
2007
Springer
16 years 1 months ago
2007
Springer
Schematic tables are a new representation for conditionals. Roughly a cross between decision tables and data flow graphs, they represent computation and decision-making orthogona...
158
click to vote
ITRUST
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Logic languages establish a formal framework to solve authorization and delegation conflicts. However, we consider that a visual representation is necessary since graphs...
175
click to vote
CAISE
1999
Springer
15 years 11 months ago
1999
Springer
In this paper, we describe the process specification language ConGolog and show how it can be used to model business processes for requirements analysis. In ConGolog, the effects...
203
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Event-driven automation of reactive functionalities for complex event processing is an urgent need in today's distributed service-oriented architectures and Web-based event-d...