6794 search results - page 520 / 1359 » Semantics of Visual Languages |
195
click to vote
KI
2001
Springer
15 years 11 months ago
2001
Springer
Ontologies will play a pivotal rˆole in the “Semantic Web”, where they will provide a source of precisely defined terms that can be communicated across people and applicatio...
211
click to vote
CONCUR
1999
Springer
15 years 11 months ago
1999
Springer
We present several interpretations of the behavior of P/T nets in terms of traces, event structures, and partial orders. Starting from results of Hoogers, Kleijn and Thiagarajan, w...
142
click to vote
EURODAC
1994
IEEE
15 years 11 months ago
1994
IEEE
We present a rigorous but transparent semantic de nition of VHDL'93 covering the complete signal behavior and time model including the various wait statements and signal assi...
196
click to vote
EPK
2006
15 years 8 months ago
2006
Abstract: Nautilus Event-driven Process Chains (N-EPCs) are a variant of Eventdriven process chains allowing multiple events between functions. This allows events to be used as tra...
216
click to vote
FMCO
2007
Springer
16 years 1 months ago
2007
Springer
This article considers the coordination language Reo, a Petri net variant called zero-safe nets, and intuitionistic temporal linear logic (ITLL). The first part examines the seman...