Sciweavers

10284 search results - page 2031 / 2057
» Designing for nomadic work
Sort
View
AUTOMATICA
2000
94views more  AUTOMATICA 2000»
13 years 9 months ago
Mutually nonblocking supervisory control of discrete event systems
For discrete event systems, modular supervisory control refers to modular design of a supervisor when multiple control specifications are given. This problem has been studied for ...
M. Fabian, R. Kumar
CC
2002
Springer
131views System Software» more  CC 2002»
13 years 9 months ago
CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs
Abstract. This paper describes the C Intermediate Language: a highlevel representation along with a set of tools that permit easy analysis and source-to-source transformation of C ...
George C. Necula, Scott McPeak, Shree Prakash Rahu...
CORR
2002
Springer
96views Education» more  CORR 2002»
13 years 9 months ago
The Sketch of a Polymorphic Symphony
In previous work, we have introduced functional strategies, that is, first-class generic functions that can traverse into terms of any type while mixing uniform and type-specific ...
Ralf Lämmel
ETS
2000
IEEE
156views Hardware» more  ETS 2000»
13 years 9 months ago
Parallel On-Line and In-Class Sections of "Writing for the Professions": A Practical Experiment
This paper describes experiences with on-line and in-class sections of a writing-intensive course, including a collaborative library literacy unit. It reports on a mid-semester so...
Victoria Hay, Dennis Isbell
ETS
2000
IEEE
154views Hardware» more  ETS 2000»
13 years 9 months ago
The Knowledge Depot: Building and Evaluating a Knowledge Management System
Organizations have long had the need to record and protect the knowledge that is their intellectual capital. However, the primary burden for knowledge management has been borne by...
Beatrix Zimmermann, Michael E. Atwood, Sabina Webb...
« Prev « First page 2031 / 2057 Last » Next »