2056 search results - page 273 / 412 » Mobile objects in Java |
115
click to vote
RULEML
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Rule Responder is an intelligent multi-agent system for collaborative teams and virtual communities that uses RuleML as its rule interchange format. The system allows the...
104
Voted
CSFW
2006
IEEE
15 years 8 months ago
2006
IEEE
A common theoretical assumption in the study of information flow security in Java-like languages is that pointers are opaque – i.e., that the only properties that can be observ...
124
Voted
AOSD
2006
ACM
15 years 8 months ago
2006
ACM
In this paper, we present a collection of well-known high-level concurrency patterns and mechanisms, coded in AspectJ. We discuss benefits of these implementations relative to pla...
137
Voted
SPC
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Most attempts at analysing secure information flow in programs are based on domain-specific logics. Though computationally feahese approaches suffer from the need for ...
99
Voted
GPCE
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We define a basic calculus for name management, which is obtained by an appropriate combination of three ingredients: extensible records (in a simplified form), names (...