3319 search results - page 229 / 664 » Type Theoretical Databases |
ICALP
2003
Springer
15 years 4 months ago
2003
Springer
We investigate the protection of migrating agents against the untrusted sites they traverse. The resulting calculus provides a formal framework to reason about protection policies ...
ICTCS
2003
Springer
15 years 4 months ago
2003
Springer
We define a calculus for modeling dynamic linking independently of the details of a particular programming environment. The calculus distinguishes at the language level the notion...
CAISE
2008
Springer
15 years 28 days ago
2008
Springer
Abstract. Services are subject to constant change and variation. Services can evolve typically due to changes in structure, e.g., attributes and operations; in behavior and policie...
103
click to vote
COLOGNETWENTE
2008
15 years 12 days ago
2008
Abstract. A reformulation of a mathematical program is a formulation which shares some properties with, but is in some sense better than, the original program. Reformulations are i...
COLING
1996
15 years 8 days ago
1996
Unification-based theories of grammar allow to integrate different levels of linguistic descriptions in the common framework of typed feature structures. Dependencies among the le...