Sciweavers

2917 search results - page 536 / 584
» Satisfying Interaction Constraints
Sort
View
EDUTAINMENT
2006
Springer
13 years 11 months ago
Computer-Assisted Teaching in Class Situation: A High-School Math Lab on Vectors
This paper presents our design and experiment of a computer-assisted class laboratory on vectors in high-school. Our main goal is to improve the acquisition on notions by all pupi...
Maud Marchal, Peggy Provent, Frederic Ruyer, Pirou...
HYBRID
2000
Springer
13 years 11 months ago
Modular Specification of Hybrid Systems in CHARON
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...
Rajeev Alur, Radu Grosu, Yerang Hur, Vijay Kumar, ...
IDEAL
2000
Springer
13 years 11 months ago
Round-Table Architecture for Communication in Multi-agent Softbot Systems
In multi -agent systems based on softbots, communication architectures have significant influences on system performance as interaction and cooperation of softbots are carried out...
Pham Hong Hanh, Tran Cao Son
ISORC
2000
IEEE
13 years 11 months ago
Verification of UML-Based Real-Time System Designs by Means of cTLA
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
Günter Graw, Peter Herrmann, Heiko Krumm
SMA
1995
ACM
190views Solid Modeling» more  SMA 1995»
13 years 11 months ago
Creating solid models from single 2D sketches
We describe a method of constructing a B-rep solid model from a single hidden-line removed sketch view of a 3D object. The main steps of our approach are as follows. The sketch is...
Ian J. Grimstead, Ralph R. Martin