1418 search results - page 57 / 284 » The Dynamic Complexity of Formal Languages |
167
click to vote
IS
2008
15 years 3 months ago
2008
In this paper we propose DFL -- a formal, graphical workflow language for dataflows, i.e., workflows where large amounts of complex data are manipulated, and the structure of the ...
145
click to vote
FM
2006
Springer
15 years 7 months ago
2006
Springer
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...
135
Voted
ICFCA
2010
Springer
15 years 10 months ago
2010
Springer
We investigate the complexity of enumerating pseudo-intents in the lectic order. We look at the following decision problem: Given a formal context and a set of n pseudo-intents det...
155
click to vote
DALT
2007
Springer
15 years 10 months ago
2007
Springer
Agent-based modelling approaches are usually based on logical languages, whereas in many areas dynamical system models based on differential equations are used. This paper shows ho...
127
click to vote
EVOW
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. This paper introduces AtomSwarm, a framework for soundbased performance using swarm dynamics. The classical ruleset for flocking simulations is augmented with genetically...