5451 search results - page 165 / 1091 » Typed Operational Semantics |
178
Voted
HAIS
2011
Springer
14 years 7 months ago
2011
Springer
The modelling of real-world complex systems is an area of ongoing interest for the research community. Real-world systems present a variety of challenges not least of which is the ...
166
Voted
SEMWEB
2004
Springer
15 years 9 months ago
2004
Springer
SemanticOrganizer is a collaborative knowledge management system designed to support distributed NASA projects, including multidisciplinary teams of scientists, engineers, and acci...
143
Voted
WWW
2006
ACM
16 years 4 months ago
2006
ACM
In this paper we consider the types of community networks that are most often codified within the Semantic Web. We propose the recognition of a new structure which fulfils the def...
138
Voted
ICDE
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract-- Classification hierarchies are trees where links codify the fact that a node lower in the hierarchy contains documents whose contents are more specific than those one le...
152
click to vote
CC
2008
Springer
15 years 5 months ago
2008
Springer
This paper describes the design and implementation of a language for specifying the semantics of an instruction set, along with a run-time system to support the static analysis of ...