339 search results - page 14 / 68 » Basic concepts of abstract interpretation |
105
click to vote
ICCS
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. We describe a prototype emergency and disaster information system designed and implemented using DDDAS concepts. The system is designed to use real-time cell phone callin...
NAACL
2003
15 years 1 months ago
2003
e by placing terms in an abstract ‘information space’ based on their occurrences in text corpora, and then allowing a user to visualize local regions of this information space....
SEFM
2007
IEEE
15 years 6 months ago
2007
IEEE
of abstract interpretations in formal methods It is always very satisfying to hear about a theory, in the case at hand it is the theory of abstract interpretations, that explains i...
ACSAC
2002
IEEE
15 years 4 months ago
2002
IEEE
When admitting electronic media as a means for citizens to approach public authorities – i.e., when advancing official proceedings towards e-Government – security is an indisp...
ECTEL
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. We present basic concepts and an outlook on current approaches and techniques of personal learning environments to point out their demands, focussing on recommendations i...