9873 search results - page 297 / 1975 » Emergent Semantics Systems |
198
click to vote
IANDC
1998
15 years 7 months ago
1998
We set up a formal framework to describe transition system specifications in the style of Plotkin. This framework has the power to express many-sortedness, general binding mechan...
171
click to vote
SEMWEB
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Personal Information Management (PIM) systems aim to provide convenient access to all data and metadata on a desktop to the user itself as well as the co-workers. Obvious...
183
click to vote
LFP
1990
15 years 8 months ago
1990
PCF, as considered in this paper, is a lazy typed lambda calculus with functions, pairing, fixed-point operators and arbitrary algebraic data types. The natural equational axioms ...
195
click to vote
WWW
2009
ACM
16 years 8 months ago
2009
ACM
This paper formulates a collaborative system for modeling business application. The system uses a Semantic Wiki to enable collaboration between the various stakeholders involved i...
176
click to vote
ADAEUROPE
2008
Springer
16 years 1 months ago
2008
Springer
The Ada programming language has been designed from the ground up for safety-critical real-time systems. This trend has continued with the Ada 2005 language definition which has i...