2661 search results - page 126 / 533 » A Semantics for Abstraction |
217
click to vote
DEXA
2005
Springer
16 years 15 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...
179
Voted
FORMATS
2005
Springer
16 years 15 days ago
2005
Springer
Abstract. We examine to what extent implementation of timed automata can be achieved using the standard semantics and appropriate modeling, instead of introducing new semantics. We...
177
Voted
ICALP
2005
Springer
16 years 15 days ago
2005
Springer
Abstract. We describe a cryptographically sound formal logic for proving protocol security properties without explicitly reasoning about probability, asymptotic complexity, or the ...
163
click to vote
MIS
2005
Springer
16 years 14 days ago
2005
Springer
Abstract. Music description is nowadays considered an important matter in Information and Communication Technology. The encoding formats commonly accepted and employed are often ch...
173
click to vote
GD
2004
Springer
16 years 11 days ago
2004
Springer
Abstract. We propose an algorithm for the 3D visualization of general ontology models used in many applications, such as semantic web, entity-relationship diagrams and other databa...