1134 search results - page 40 / 227 » Using Constraints with Action Language for Model Evolution |
114
click to vote
ASM
2010
ASM
16 years 2 days ago
2010
ASM
The Java programming language has been widely described as secure by design. Nevertheless, a number of serious security vulnerabilities have been discovered in Java, particularly i...
110
click to vote
GECCO
2005
Springer
15 years 8 months ago
2005
Springer
Existing Recurrent Neural Networks (RNNs) are limited in their ability to model dynamical systems with nonlinearities and hidden internal states. Here we use our general framework...
129
Voted
ZUM
2000
Springer
15 years 6 months ago
2000
Springer
We present a computation model for Z, which is based on a reduction to a small calculus, called Z, and on concurrent constraint resolution techniques applied for computing in thi...
CP
2005
Springer
15 years 8 months ago
2005
Springer
There is no unified modeling standard available to the CP community, so constraint programs can not be developed independently from the used CP library. Without such standard, CP ...
125
click to vote
KBSE
1999
IEEE
15 years 7 months ago
1999
IEEE
The language AML is used to specify the semantics of architecture description languages, ADLs. It is a very primitive language, having declarations for only three constructs: elem...