6343 search results - page 301 / 1269 » Development of a Cartographic Language |
188
click to vote
ECOOP
2012
Springer
13 years 9 months ago
2012
Springer
Ownership type systems describe a heap topology and enforce an encapsulation discipline; they aid in various program correctness and understanding tasks. However, the annotation ov...
186
click to vote
ECOOP
2012
Springer
13 years 9 months ago
2012
Springer
Abstract. Since call graphs are an essential starting point for all interprocedural analyses, many tools and frameworks have been developed to generate the call graph of a given pr...
192
click to vote
TON
2012
13 years 9 months ago
2012
—The deployment of cognitive radio networks enables efficient spectrum sharing and opportunistic spectrum access. It also presents new challenges to the classical problem of int...
163
click to vote
DEXAW
1998
IEEE
15 years 10 months ago
1998
IEEE
Most of the work on coordination technology so far has focused on the development of special coordination languages and environments that provide the basic mechanisms for realizin...
290
click to vote
POPL
2005
ACM
16 years 6 months ago
2005
ACM
This paper presents a new approach for verifying confidenfor programs, based on abstract interpretation. The framework is formally developed and proved correct in the theorem prov...