4419 search results - page 162 / 884 » Information Science in Transition |
122
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
— This paper bridges the advances in computer science and control to allow automatic synthesis of control strategies for complex dynamical systems which are guaranteed, by constr...
147
Voted
LICS
1993
IEEE
15 years 8 months ago
1993
IEEE
traction for a Shared Variable Parallel Language Stephen Brookes∗ School of Computer Science Carnegie Mellon University Pittsburgh, Pa 15213 We give a new denotational semantics...
103
Voted
ISPDC
2008
IEEE
15 years 10 months ago
2008
IEEE
ACT OF A DISSERTATION submitted in partial fulfillment of the requirements for the degree DOCTOR OF PHILOSOPHY Department of Computing and Information Sciences College of Engineer...
121
click to vote
SIGCSE
2004
ACM
15 years 9 months ago
2004
ACM
This paper describes the motivation and design of an introductory computational course for natural, physical, and social scientists. Categories and Subject Descriptors: K.3.2 Comp...
119
click to vote
GI
2009
Springer
15 years 8 months ago
2009
Springer
: We are presenting a tool for collecting and analysing computer usage data. The observed data are locally used by the user to self-monitor and self-reflect her behaviour, decontro...