2373 search results - page 254 / 475 » The Design of the Zinc Modelling Language |
187
click to vote
PADL
2004
Springer
15 years 12 months ago
2004
Springer
We describe the design and implementation of a program generator that can produce extensions of Fortran that are specialized to support the programming of particular applications. ...
186
click to vote
CC
2003
Springer
15 years 11 months ago
2003
Springer
Popular mobile code architectures (Java and .NET) include verifiers to check for memory safety and other security properties. Since their formats are relatively high level, suppor...
196
click to vote
UML
2001
Springer
15 years 11 months ago
2001
Springer
: There are many different ways to specify the requirements of complex software systems, and the optimal methods often vary according to the problem domain. We apply and compare tw...
157
click to vote
VL
1992
IEEE
15 years 10 months ago
1992
IEEE
MAVIS is a dataflow visual languagefor computer vision and image processing. It features a high degree of `liveness' and compliance with user directives, providing ajexible e...
209
click to vote
JAIS
2002
15 years 6 months ago
2002
This article explains challenges that arise when humanitarian organizations want to coordinate their development activities by means of distributed information systems. It focuses...