3827 search results - page 333 / 766 » The Epsilon Generation Language |
209
Voted
ISORC
2005
IEEE
16 years 7 days ago
2005
IEEE
Web Services form a new distributed computing paradigm. Collaborative verification and validation are important when Web Services from different vendors are integrated together to...
165
click to vote
ECOOP
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. In our research we are studying how to combine modelling, metamodelling, and reflection to systematically generate middleware configurations that can be targeted at diffe...
146
click to vote
ICCHP
2004
Springer
16 years 1 days ago
2004
Springer
This paper gives a brief overview about the partially EU funded project IST-2000-25420 FASTY in the IST program. The objective of FASTY was the creation of a system for increasing ...
180
click to vote
SAS
2004
Springer
16 years 15 hour ago
2004
Springer
Abstract. We specify an information flow analysis for a simple imperative language, using a Hoare-like logic. The logic facilitates static checking of a larger class of programs t...
185
click to vote
POPL
2000
ACM
15 years 11 months ago
2000
ACM
Certified code is a general mechanism for enforcing security properties. In this paradigm, untrusted mobile code carries annotations that allow a host to verify its trustworthine...