1736 search results - page 300 / 348 » Semantic Annotation for Java |
194
click to vote
ICLP
2005
Springer
16 years 14 days ago
2005
Springer
Abstract. We propose a generic type system for the Constraint Handling Rules (CHR), a rewriting rule language for implementing constraint solvers. CHR being a high-level extension ...
206
click to vote
CASSIS
2004
Springer
16 years 11 days ago
2004
Springer
Abstract. This paper addresses the problem of static checking of programs to ensure that they satisfy confidentiality policies in the presence of dynamic access control in the for...
198
click to vote
ECOOP
2004
Springer
16 years 10 days ago
2004
Springer
Transactional monitors are proposed as an alternative to monitors based on mutualexclusion synchronization for object-oriented programming languages. Transactional monitors have e...
184
Voted
CISIS
2010
IEEE
16 years 2 days ago
2010
IEEE
- The shared data programming model is an attractive grid programming alternative to message passing solutions. This paper addresses type related improvements to a shared data grid...
165
click to vote
DSN
2002
IEEE
15 years 12 months ago
2002
IEEE
Language run-time systems are routinely used to host potentially buggy or malicious codelets — software modules, agents, applets, etc. — in a secure environment. A number of t...