4418 search results - page 208 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
201
click to vote
AUIC
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper reports work done as part of the Large Interactive Display Surface(LIDS) project at the University of Waikato. One application of the LIDS equipment is distributed meet...
189
click to vote
PDP
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Execution of applications on upcoming highperformance computing (HPC) systems introduces a variety of new challenges and amplifies many existing ones. These systems will...
169
click to vote
DLOG
1997
15 years 7 months ago
1997
Our project aims at the automatic generation of multilingual text for product maintenance and documentation from a structured knowledge representation formalized by means of plans...
180
click to vote
BCS
2008
15 years 8 months ago
2008
Despite over a century's study, the trigger mechanisms of cardiac arrhythmias are poorly understood. Even modern experimental methods do not provide sufficient temporal and s...
197
click to vote
PERCOM
2003
ACM
16 years 6 months ago
2003
ACM
Pervasive computing environments add a multitude of additional devices to our current computing landscapes. Specialized embedded systems provide sensor information about the real ...