Sciweavers

11017 search results - page 204 / 2204
» Closure Systems and their Structure
Sort
View
QSIC
2005
IEEE
14 years 3 months ago
A System to Mark Programs Automatically
This paper describes a system to automatically mark student programs. It is a real time examination system that provides an environment for the compilation and execution of softwa...
Ken Ngo-Pham, John Bigham, Julian Rodaway, Lauriss...
CCE
2007
13 years 9 months ago
Design and control of recycle systems by non-linear analysis
Design and control of recycle systems must be integrated at an early design stage. By placing together the pieces of the design puzzle we developed a novel methodology that allows...
Anton A. Kiss, Costin S. Bildea, Alexandre C. Dimi...
TVCG
2002
121views more  TVCG 2002»
13 years 9 months ago
Interactive Visualization of State Transition Systems
Frank van Ham, Huub van de Wetering, Jarke J. van ...
WWW
2005
ACM
14 years 10 months ago
WAND: a meta-data maintenance system over the internet
WAND is a meta-data management system that provides a file-system tree for users of an internet based P2P network. The tree is robust and retains its structure even when nodes (pe...
Anubhav Bhatia, Saikat Mukherjee, Saugat Mitra, Sr...
REX
1993
14 years 1 months ago
Relationships Between Models of Concurrency
Abstract. Models for concurrency can be classified with respect to three relevant parameters: behaviour/system, interleaving/noninterleaving, linear/branching time. When modelling...
Mogens Nielsen, Vladimiro Sassone, Glynn Winskel