2661 search results - page 126 / 533 » A Semantics for Abstraction |
199
click to vote
DEXA
2005
Springer
16 years 1 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...
167
click to vote
FORMATS
2005
Springer
16 years 1 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...
157
click to vote
ICALP
2005
Springer
16 years 1 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 ...
149
click to vote
MIS
2005
Springer
16 years 8 hour 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...
162
click to vote
GD
2004
Springer
15 years 12 months 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...