2373 search results - page 30 / 475 » The Design of the Zinc Modelling Language |
158
click to vote
SAC
2008
ACM
15 years 24 days ago
2008
ACM
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed to improve functional software correctness of Java app...
MEMOCODE
2005
IEEE
15 years 7 months ago
2005
IEEE
We describe race-free properties of a hardware description language called GEZEL. The language describes networks of cycle-true finite-state-machines with datapaths (FSMDs). We de...
104
click to vote
AOSE
2005
Springer
15 years 7 months ago
2005
Springer
Autonomy has always been conceived as one of the defining attributes of intelligent agents. While the past years have seen considerable progress regarding theoretical aspects of a...
106
click to vote
UML
2004
Springer
15 years 6 months ago
2004
Springer
Several different kinds of performance models can be generated from sets of scenarios that describe typical responses of a system, and their use of resources. The Core Scenario Mod...
NLPRS
2001
Springer
15 years 5 months ago
2001
Springer
The paper describes the design of a generation component for a spoken dialogue system. After discussing three existing models of generation, a model based on new information focus...