Sciweavers

15372 search results - page 214 / 3075
» The Semantics of Semantic Annotation
Sort
View
151
Voted
HYBRID
2004
Springer
15 years 10 months ago
Almost ASAP Semantics: From Timed Models to Timed Implementations
In this paper, we introduce a parametric semantics for timed controllers called the Almost ASAP semantics. This semantics is a relaxation of the usual ASAP3 semantics (also called ...
Martin De Wulf, Laurent Doyen, Jean-Françoi...
124
Voted
SFM
2004
Springer
118views Formal Methods» more  SFM 2004»
15 years 10 months ago
On the Semantic Foundations of Standard UML 2.0
This paper provides an overview of the foundations of the run-time semantics underlying the Unified Modeling Language as defined in revision 2.0 of the official OMG standard. One o...
Bran Selic
CHI
1999
ACM
15 years 9 months ago
Learning and Performing by Exploration: Label Quality Measured by Latent Semantic Analysis
Models of learning and performing by exploration assume that the semantic distance between task descriptions and screen labels controls in part the usersÕ search strategies. Neve...
Rodolfo Soto
DANTE
1999
IEEE
119views Database» more  DANTE 1999»
15 years 9 months ago
A Semantic Caching Method Based on Linear Constraints
Because performance is a crucial issue in database systems, data caching techniques have been studied in database research field, especially in client-server databases and distrib...
Yoshiharu Ishikawa, Hiroyuki Kitagawa
LOPSTR
1994
Springer
15 years 9 months ago
More on Unfold/Fold Transformations of Normal Programs: Preservation of Fitting's Semantics
The unfold/fold transformation system defined by Tamaki and Sato was meant for definite programs. It transforms a program into an equivalent one in the sense of both the least tter...
Annalisa Bossi, Sandro Etalle