4814 search results - page 907 / 963 » Combining abstract interpreters |
OOPSLA
2007
Springer
14 years 4 months ago
2007
Springer
Objects often define usage protocols that clients must follow in order for these objects to work properly. Aliasing makes it notoriously difficult to check whether clients and i...
OTM
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. This article presents a proposal for managing privacy in pervasive environments. These environments are capable of sensing personal information anywhere and at anytime. T...
PAM
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Tracing traffic using commodity hardware in contemporary highspeed access or aggregation networks such as 10-Gigabit Ethernet is an increasingly common yet challenging t...
SEMWEB
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. This paper presents the ’Media Watch on Climate Change’, an interactive Web portal that combines a portfolio of semantic services with a visual interface based on tig...
SEMWEB
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Nowadays enterprises request information technologies that leverage structured and unstructured information for providing a single integrated view of business problems in...