6201 search results - page 378 / 1241 » Implementation of Axiomatic Language |
151
click to vote
UML
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Security engineering deals with modeling, analysis, and implementation of complex security mechanisms. The dynamic nature of such mechanisms makes it difficult to anticip...
167
click to vote
DSRT
2002
IEEE
15 years 11 months ago
2002
IEEE
The paper describes an experimental web-based environment for teaching and testing. The application named Nautilus has been developed using Virtual Reality Modeling Language (VRML...
177
click to vote
REFLECTION
2001
Springer
15 years 11 months ago
2001
Springer
A number of approaches have been proposed to achieve separation of concerns. Although all these approaches form suitable candidates for separating cross-cutting concerns in a syste...
159
click to vote
IFIP
1999
Springer
15 years 11 months ago
1999
Springer
: This paper presents a synthesis algorithm for pipelined circuits. The circuit is specified as a collection of independent, looselycoupled modules connected by queues. The synthe...
243
Voted
PLILP
1998
Springer
15 years 11 months ago
1998
Springer
This paper shows how lazy functional programs can be made mobile by compiling them for the Java Virtual Machine. The Haskell compiler it describes is based on the h ,Gi-machine, wh...