Sciweavers

1886 search results - page 288 / 378
» Modeling and Enacting Software Processes Using VRPML
Sort
View
WSC
2000
15 years 7 months ago
Simply Simulation: an interactive CD-ROM-based approach for learning simulation concepts
The purpose of this paper is to introduce a new approach to teaching an introductory simulation course using an interactive CD-ROM titled "Simply Simulation". This metho...
Connie Nott, Graham Nott, C. Christopher Lee
IEICET
2006
114views more  IEICET 2006»
15 years 6 months ago
Synchronization Verification in System-Level Design with ILP Solvers
Concurrency is one of the most important issues in system-level design. Interleaving among parallel processes can cause an extremely large number of different behaviors, making de...
Thanyapat Sakunkonchak, Satoshi Komatsu, Masahiro ...
MAGS
2008
169views more  MAGS 2008»
15 years 6 months ago
ACVisualizer: A visualization tool for APi-calculus
Process calculi are mathematical tools used for modeling and analyzing the structure and behavior of reactive systems. One such calculus, called APi-calculus (an extension to Pi-ca...
Raheel Ahmad, Shahram Rahimi
SIGCSE
1998
ACM
99views Education» more  SIGCSE 1998»
15 years 10 months ago
The ExCon project: advocating continuous examination
In this paper it is claimed that traditional examination often is destructive to the process of learning. It does not matter how good intentions educators have, it is the way they...
Urban Nuldén
DEXAW
2004
IEEE
152views Database» more  DEXAW 2004»
15 years 10 months ago
OntoEditor: A Web Tool for Manipulating Ontologies Stored in Database Servers
The Web is moving to a new generation in which machine-understandable processing is mandatory. In order to achieve this goal it is essential to define ontologies which enable the ...
Cláudio de Souza Baptista, Karine F. Vascon...