16206 search results - page 43 / 3242 » At Issue |
102
click to vote
ATVA
2007
Springer
15 years 4 months ago
2007
Springer
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models. The expected...
71
Voted
MODELS
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. We consider the OMG’s Queries, Views and Transformations (QVT) standard as applied to the specification of bidirectional transformations between models. We discuss wha...
ICALT
2006
IEEE
15 years 4 months ago
2006
IEEE
The scope of implementing a virtual instructor is to achieve enhanced learning outcomes during an autonomous training (education) sessions of a human learner. Based on the evidenc...
76
Voted
IWPC
2006
IEEE
15 years 4 months ago
2006
IEEE
Several approaches to program comprehension have been proposed along the years, ranging from fact extraction to sophisticated visualization tools. In order to effectively assess t...
CSCWD
2005
Springer
15 years 3 months ago
2005
Springer
This paper presents CSVTool (Collaboration Supported by Video Tool), a video-based collaboration tool designed to be simple, platform-independent, and to support multiple users ov...