Sciweavers

6016 search results - page 1023 / 1204
» The semantics of graphical languages
Sort
View
EACL
1993
ACL Anthology
15 years 8 months ago
Delimitedness And Trajectory-Of-Motion Events
The first part of the paper develops a novel, sortally-based approach to the problem of aspectual composition. The account is argued to be superior on both empirical and computati...
Michael White
GRAPHICSINTERFACE
1996
15 years 8 months ago
Exploring Human Visualization of Computer Algorithms
Many educators have used Algorithm Visualization (AV) to teach students of computer science about how computer algorithms work. Our study sheds light on two important questions: (...
Sarah A. Douglas, Christopher D. Hundhausen, Donna...
LMO
1996
15 years 8 months ago
Using Metaobjects to Model Concurrent Objects with PICT
We seek to support the development of open, distributed applications from patible software abstractions. In order to rigorously specify these abstractions, we are elaborating a for...
Markus Lumpe, Jean-Guy Schneider, Oscar Nierstrasz
EACL
1989
ACL Anthology
15 years 7 months ago
A logical treatment of semi-free word order and bounded discontinuous constituency
In this paper we present a logical treatment of semifree word order and bounded discontinuous constituency. We extend standard feature value logics to treat word order in a single...
Mike Reape
SAC
2010
ACM
15 years 6 months ago
Data-aware design and verification of service compositions with Reo and mCRL2
Service-based systems can be modeled as stand-alone services coordinated by external connectors. Reo is a channelbased coordination language with well-defined semantics that enabl...
Natallia Kokash, Christian Krause, Erik P. de Vink
« Prev « First page 1023 / 1204 Last » Next »