Sciweavers

2135 search results - page 111 / 427
» An Operational Semantics for JavaScript
Sort
View
SAIG
2000
Springer
14 years 21 days ago
Multi-Stage Imperative Languages: A Conservative Extension Result
Abstract. This paper extends the recent work [CMT00] on the operational semantics and type system for a core language, called MiniMLBN ref , which exploits the notion of closed typ...
Cristiano Calcagno, Eugenio Moggi
CORR
2011
Springer
165views Education» more  CORR 2011»
13 years 3 months ago
Universal Metadata Standard
The basis of consciousness is an association of notions, the neuronal network. Similarly, the creation of a next generation internet (semantic web) is impossible without attributes...
Andrej Poleev
ESWS
2009
Springer
14 years 3 months ago
The Sile Model - A Semantic File System Infrastructure for the Desktop
With the increasing storage capacity of personal computing devices, the problems of information overload and information fragmentation become apparent on users’ desktops. For the...
Bernhard Schandl, Bernhard Haslhofer
ESWS
2007
Springer
14 years 3 months ago
Towards a Semantic Wiki for Science
Collaborative work environments for scientific knowledge have many applications in research as well as in education. Such systems already exist (e.g. Wikipedia and PlanetMath), b...
Christoph Lange 0002
ER
2004
Springer
90views Database» more  ER 2004»
14 years 2 months ago
Semantic Interpretation and Matching of Web Services
A major issue in the study of semantic Web services concerns the matching problem of Web services. Various techniques for this problem have been proposed. Typical ones include FSM ...
Chang Xu, Shing-Chi Cheung, Xiangye Xiao