Sciweavers

5630 search results - page 37 / 1126
» Computability in Specification
Sort
View
FPL
2003
Springer
146views Hardware» more  FPL 2003»
14 years 3 months ago
Domain-Specific Reconfigurable Array for Distributed Arithmetic
Distributed Arithmetic techniques are widely used to implement Sum-of-Products computations such as calculations found in multimedia applications like FIR filtering and Discrete Co...
Sami Khawam, Tughrul Arslan, Fred Westall
ASM
2008
ASM
13 years 12 months ago
FDIR Architectures for Autonomous Spacecraft: Specification and Assessment with Event-B
On-board Fault Detection, Isolation and Recovery (FDIR) systems are considered to ensure the safety and to increase the autonomy of spacecrafts. They shall be carefully designed an...
Jean-Charles Chaudemar, Charles Castel, Christel S...
GI
2009
Springer
13 years 7 months ago
A Knowledge-Based System for the Specification of Variables in Clinical Trials
: Study variables in clinical trial specifications are often defined manually, depending on the knowledge and experience of the author rather than on commonly agreed methods and st...
Matthias Löbe, Barbara Strotmann, Kai-Uwe Hoo...
POLICY
2001
Springer
14 years 2 months ago
Author Obliged to Submit Paper before 4 July: Policies in an Enterprise Specification
Specifying policies doesn’t occur in splendid isolation but as part of refining an enterprise specification. The roles, the tasks, and the business processes of an ODP community ...
James B. Cole, John Derrick, Zoran Milosevic, Kerr...
CRIWG
2000
13 years 11 months ago
Supporting Collaborative Activities in Computer Integrated Classrooms-the NIMIS Approach
This paper presents the concept of a collaborative computer integrated classroom (CiC) specially designed to achieve a unique combination of interactive and collaborative software...
Heinz Ulrich Hoppe, Andreas Lingnau, Isabel Machad...