4460 search results - page 479 / 892 » Formal methods for interactive systems |
170
click to vote
ICALT
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, we propose the use of Semantic Web technologies to bridge the gap between authoring systems and authors. The core part of our solution is the ontology-based framewo...
165
Voted
IUI
2006
ACM
16 years 22 days ago
2006
ACM
In this paper we describe research on using eye-tracking data for on-line assessment of user meta-cognitive behavior during the interaction with an intelligent learning environmen...
201
click to vote
QSIC
2005
IEEE
16 years 11 days ago
2005
IEEE
Design notations play an important role in designing software. Agent UML (AUML), which extends the widelyused UML notation, has proposed a number of notations for modelling agent ...
174
click to vote
ESOP
2005
Springer
16 years 9 days ago
2005
Springer
: Fully abstract trace semantics for a core Java language. Alan Jeffrey 1,2 and Julian Rathke3 1 Bell Labs, Lucent Technologies, Chicago, IL, USA 2 DePaul University, Chicago, IL, ...
190
click to vote
SAC
2003
ACM
16 years 1 days ago
2003
ACM
A fundamental issue in the engineering of coordination models is n coordination abstractions that are correct with respect to the specification of the coordination model they imp...