1370 search results - page 201 / 274 » Metacase Tools for Multidimensional Development of Informati... |
SIGITE
2004
ACM
14 years 2 months ago
2004
ACM
“The Multi-User Programming Pedagogy for Enhancing Traditional Study” (MUPPETS) system has been under development at RIT for the last three years. This multi-user environment ...
ACSD
2008
IEEE
14 years 3 months ago
2008
IEEE
PICNIC is a tool for verifying security properties of systems, namely non-interference properties of processes expressed as terms of the π-calculus with two security levels and d...
EURODAC
1994
IEEE
14 years 1 months ago
1994
IEEE
In this paper we introduce a new knowledgebased method for planning and managing the VLSI design process, based on prediction and advice, that minimizes search in a wide design sp...
CRIWG
2010
13 years 10 months ago
2010
Abstract. Workspace awareness support is mandatory for group support systems. In this paper, we present a novel approach to asynchronous awareness by means of traceability support....
ENGL
2007
13 years 8 months ago
2007
—Instantaneous detection and diagnosis of various faults and break-downs in industrial processes is required to reduce production losses and damage to equipments. A solved knowle...