Sciweavers

3191 search results - page 344 / 639
» Qualitative Modeling in Education
Sort
View
93
Voted
CORR
2008
Springer
103views Education» more  CORR 2008»
15 years 23 days ago
The Capacity Region of the Degraded Finite-State Broadcast Channel
We consider the discrete, time-varying broadcast channel with memory, under the assumption that the channel states belong to a set of nite cardinality. We begin with the de nition...
Ron Dabora, Andrea J. Goldsmith
CORR
2008
Springer
125views Education» more  CORR 2008»
15 years 23 days ago
Data Reduction in Intrusion Alert Correlation
: Network intrusion detection sensors are usually built around low level models of network traffic. This means that their output is of a similarly low level and as a consequence, ...
Gianni Tedesco, Uwe Aickelin
CORR
2008
Springer
72views Education» more  CORR 2008»
15 years 23 days ago
Design Optimization for an Electro-Thermally Actuated Polymeric Microgripper
Thermal micro-actuators are a promising solution to the need for large-displacement, gentle handling force, low-power MEMS actuators. Potential applications of these devices are mi...
R. Voicu, R. Muller, L. Eftime
CORR
2010
Springer
178views Education» more  CORR 2010»
15 years 23 days ago
Formalization of the data flow diagram rules for consistency check
In system development life cycle (SDLC), a system model can be developed using Data Flow Diagram (DFD). DFD is graphical diagrams for specifying, constructing and visualizing the ...
Rosziati Ibrahim, Siow Yen yen
CORR
2008
Springer
151views Education» more  CORR 2008»
15 years 23 days ago
Checking the Quality of Clinical Guidelines using Automated Reasoning Tools
Requirements about the quality of clinical guidelines can be represented by schemata borrowed from the theory of abductive diagnosis, using temporal logic to model the time-orient...
Arjen Hommersom, Peter J. F. Lucas, Patrick van Bo...