Sciweavers

5096 search results - page 328 / 1020
» Associations as a Language Construct
Sort
View
UML
2004
Springer
16 years 4 days ago
SVERTS - Specification and Validation of Real-Time and Embedded Systems
: This paper presents an overview on the workshop on Specification and Validation of Real-time and embedded Systems that has taken place for the second time in association with the...
Susanne Graf, Øystein Haugen, Ileana Ober, ...
IFIPTCS
2000
15 years 10 months ago
An Asynchronous, Distributed Implementation of Mobile Ambients
Abstract We present a first distributed implementation of the CardelliGordon's ambient calculus. We use Jocaml as an implementation language and we present a formal translatio...
Cédric Fournet, Jean-Jacques Lévy, A...
147
Voted
ACL
2006
15 years 8 months ago
Word Sense and Subjectivity
Subjectivity and meaning are both important properties of language. This paper explores their interaction, and brings empirical evidence in support of the hypotheses that (1) subj...
Janyce Wiebe, Rada Mihalcea
WSC
2000
15 years 8 months ago
Toward a standard process: the use of UML for designing simulation models
Designing complex simulation models is a task essentially associated with software engineering. In this paper, the Unified Modeling Language (UML) is used to specify simulation mo...
Hendrik Richter, Lothar März
IJMSO
2006
110views more  IJMSO 2006»
15 years 6 months ago
Metadata, semantics, and ontology: providing meaning to information resources
: Metadata research has emerged as a new discipline in the last years, and is focused on the provision of semantic descriptions of a diverse kind to digital resources, web resource...
Miguel-Ángel Sicilia