16206 search results - page 43 / 3242 » At Issue |
189
click to vote
ATVA
2007
Springer
16 years 5 days 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...
137
click to vote
MODELS
2007
Springer
16 years 3 days 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...
156
click to vote
ICALT
2006
IEEE
16 years 1 days 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...
154
click to vote
IWPC
2006
IEEE
16 years 2 hour 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...
150
click to vote
CSCWD
2005
Springer
15 years 11 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...