94 search results - page 1 / 19 » A Language for Specifying Informational Graphics from First ... |
81
Voted
ICSOFT
2007
15 years 1 months ago
2007
129
click to vote
AWPN
2008
15 years 1 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 ...
126
click to vote
AMEC
2004
Springer
15 years 5 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
15 years 1 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 6 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...