4211 search results - page 560 / 843 » Types as Abstract Interpretations |
187
click to vote
AMR
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Although many different types of technologies for information systems have evolved over the last decades (such as databases, video systems, the Internet and mobile telec...
171
click to vote
CEFP
2005
Springer
16 years 2 days ago
2005
Springer
In these lecture notes we present a novel toolkit to program web applications with that have dynamic, complex behavior based on interconnect forms. This toolkit is the iData Toolki...
172
click to vote
COSIT
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Current mobile computing systems can automatically sense and communicate detailed data about a person’s location. Location privacy is an urgent research issue because c...
200
click to vote
DEXA
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Data intensive information is often published on the internet in the format of HTML tables. Extracting some of the information that is of users’ interest from the inter...
173
click to vote
ECML
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Classical planning domain representations assume all the objects from one type are exactly the same. But when solving problems in the real world systems, the execution of...