60 search results - page 9 / 12 » State extensions for java pathfinder |
ERSHOV
1999
Springer
14 years 24 days ago
1999
Springer
A semi-visual framework for the speci cation of syntax and semantics of imperative programming languages, called Montages, was proposed in an earlier work by the authors. The prima...
WSC
2007
13 years 11 months ago
2007
The paper presents an extensible Petri Net Markup Language (xPNML), which is an extended version of PNML. The xPNML format overcomes limitations associated with PNML structure for...
IADIS
2003
13 years 10 months ago
2003
We describe the current state of a resource that enables research in the human sciences with differential access rights for experimenters and participants in experiments. We outli...
CC
2000
Springer
14 years 26 days ago
2000
Springer
Mode-Automata have been proposed in [11]. They introduce, in the domain-specific data-flow language Lustre for reactive systems, a new construct devoted to the expression of runn...
SEM
2004
Springer
14 years 1 months ago
2004
Springer
Business Intelligence (BI) systems address the demands of large scale enterprises for operational analytics, management information and decision support tasks. Building such applic...