7124 search results - page 780 / 1425 » Programming Languages and Operating Systems |
196
click to vote
ECOOP
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Lightweight bytecode verification uses stack maps to annotate Java bytecode programs with type information in order to reduce the verification to type checking. This pape...
200
click to vote
ERSHOV
1993
Springer
15 years 11 months ago
1993
Springer
Distributed database applications are a wide use of distributed systems. One of the major advantages of distributed database systems is the potential for achieving high availabili...
230
click to vote
GCC
2003
Springer
16 years 20 days ago
2003
Springer
The Object-Oriented Petri Nets (OOPN) based integrated solution to a grid-based application system modeling and enacting is proposed in this paper for simplifying designs and devel...
173
click to vote
ATAL
2009
Springer
16 years 2 months ago
2009
Springer
This paper presents the Dsml4mas Development Environment (DDE) which is a model-driven framework for the development of multiagent systems based on the Domain Specific Modeling L...
172
click to vote
ESORICS
2006
Springer
15 years 11 months ago
2006
Springer
Motivated by the need of application-level access control in dynamically extensible systems, this work proposes a static annotation system for modeling capabilies in a Java-like pr...