7452 search results - page 419 / 1491 » A Semantics for Multiprocessor Systems |
203
click to vote
TACS
1994
Springer
15 years 11 months ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...
206
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
A software design is often modeled as a collection of unified Modeling Language (UML) diagrams. There are different aspects of the software system that are covered by many differe...
194
click to vote
EDOC
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we provide a semantic foundation for role-related concepts in Enterprise Modelling. We use a conceptual modelling framework to provide a wellfounded underpinning fo...
159
click to vote
HOA
1993
15 years 11 months ago
1993
Abstract. The Spectrum project concentrates on the process of developing well-structured, precise system speci cations. Spectrum is a speci cation language, with a deduction calcul...
162
click to vote
ACL
2008
15 years 8 months ago
2008
We propose a novel method for extracting semantic information about a verb's arguments and apply it to Verb Sense Disambiguation (VSD). We contrast this method with two popul...