4126 search results - page 417 / 826 » Relationships with other Formalisms |
172
Voted
SEMWEB
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. We show that the Semantic Web needs a formal semantics for the various kinds of links between ontologies and other documents. We provide a model theoretic semantics that ...
117
click to vote
CHI
2010
ACM
16 years 5 days ago
2010
ACM
In this paper we explore the application of formal elements of games such as goals and scores to information graphics−so called “game-y” information graphics. In order to st...
149
Voted
DEXAW
2003
IEEE
16 years 5 days ago
2003
IEEE
A challenging task in security engineering concerns the specification and integration of security with other requirements at the top level of requirements engineering. Empirical ...
168
click to vote
ICDCS
2003
IEEE
16 years 4 days ago
2003
IEEE
Lookup services are used in many Internet applications to translate a key (e.g., a file name) into an associated set of entries (e.g., the location of file copies). The key look...
173
Voted
IPPS
2003
IEEE
16 years 4 days ago
2003
IEEE
Kahn defined a formal model for networks of processes that communicate through channels carrying streams of data tokens. His mathematical results show the necessary conditions fo...