809 search results - page 30 / 162 » Formal Semantics for the Java Modeling Language |
103
Voted
AGTIVE
2007
Springer
15 years 5 months ago
2007
Springer
Communities of autonomous units are being developed for formal specification and semantic analysis of systems of interacting and mobile components. The autonomous units of a commu...
ADBIS
2007
Springer
15 years 5 months ago
2007
Springer
The semantics of a new language (CUDL – Conceptual Universal Database Language), designed to manage dynamic database environments, are presented. This language conforms to the FD...
118
click to vote
ROOM
2000
15 years 1 months ago
2000
We describe a language which can be used to model business processes (both technical and nontechnical). It has a formal semantics, so as to enable formal analysis and prediction o...
115
click to vote
ROBOCUP
1998
Springer
15 years 3 months ago
1998
Springer
Abstract. Constraint Nets provide a semantic model for modeling hybrid dynamic systems. Controllers are embedded constraint solvers that solve constraints in real-time. A controlle...
89
Voted
IFIP
2004
Springer
15 years 5 months ago
2004
Springer
Current firewall configuration languages have no well founded semantics. Each firewall implements its own algorithm that parses specific proprietary languages. The main conseq...