5372 search results - page 835 / 1075 » complexity 2007 |
176
click to vote
STORYTELLING
2007
Springer
16 years 21 days ago
2007
Springer
We present Wide Ruled, an authoring tool for the creation of generative stories. It is based on the Universe author-goal-based model of story generation, and extends this model by ...
145
click to vote
TACAS
2007
Springer
16 years 21 days ago
2007
Springer
For specifying and verifying branching-time requirements, a reactive system is traditionally modeled as a labeled tree, where a path in the tree encodes a possible execution of the...
185
click to vote
TBILLC
2007
Springer
16 years 21 days ago
2007
Springer
In this paper, I give an overview of an ongoing project which aims at building a full-scale computational grammar for Georgian in the Lexical Functional Grammar framework and try t...
160
click to vote
TGC
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. We propose Architectural Design Rewriting (ADR), an approach to formalise the development and reconfiguration of software architectures based on term-rewriting. An archi...
193
click to vote
VLDB
2007
ACM
16 years 21 days ago
2007
ACM
Many enterprises nowadays use business processes, based on the BPEL standard, to achieve their goals. These are complex, often distributed, processes. Monitoring the execution of ...