94 search results - page 1 / 19 » A Language for Specifying Informational Graphics from First ... |
ICSOFT
2007
14 years 11 months ago
2007
115
click to vote
AWPN
2008
14 years 11 months ago
2008
Abstract. In this paper we show an implementation of an algorithm to synthesize a place/transition Petri net (p/t-net) from a possibly infinite partial language, which is given by ...
109
click to vote
AMEC
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We provide a formal scripting language to capture the semantics of market mechanisms. The language is based on a set of welldefined principles, and is designed to captur...
ACL
2000
14 years 11 months ago
2000
The definitions of the basic concepts, rules, and constraints of centering theory involve underspecified notions such as `previous utterance', `realization', and `rankin...
IFIP
2010
Springer
14 years 4 months ago
2010
Springer
This manuscript addresses the creation of scenario-based models to reason about the behavior of existing industrial information systems. In our approach the system behavior is mode...