1728 search results - page 177 / 346 » Formal Modeling of Process Migration |
115
click to vote
IUI
2006
ACM
15 years 9 months 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...
110
click to vote
FDL
2005
IEEE
15 years 8 months ago
2005
IEEE
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...
133
click to vote
AGENTCL
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. This paper proposes a new model of communication in multiagent systems according to which the semantics of communication depends on their pragmatics. Since these pragmati...
131
click to vote
DEXA
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Engineering design is a knowledge intensive activity. Design is characterized as comprising a number of phases from requirements to detailed specification. Transitions be...
130
click to vote
WAIM
2000
Springer
15 years 6 months ago
2000
Springer
Online Analytical Processing (OLAP) data is frequently organized in the form of multidimensional data cubes each of which is used to examine a set of data values, called measures, ...