Sciweavers

2913 search results - page 350 / 583
» How Much to Copy
Sort
View
133
Voted
ICIA
2007
15 years 6 months ago
When Is Assistance Really Helpful?
We regularly operate under the notion that one agent assists another when the first does something for the second. However, the story behind this is much more complicated. In thi...
Wayne Iba
154
Voted
FMCAD
2008
Springer
15 years 5 months ago
Automatic Non-Interference Lemmas for Parameterized Model Checking
Parameterized model checking refers to any method that extends traditional, finite-state model checking to handle systems arbitrary number of processes. One popular approach to thi...
Jesse D. Bingham
142
Voted
WSC
2001
15 years 5 months ago
Using simulation to evaluate site traffic at an automobile truck plant
Recent trends in automotive manufacturing have increased the focus on the Just-In-Time (JIT) delivery of automotive components. By requiring smaller batches of parts delivered mor...
Joseph Hugan
111
Voted
CASCON
1996
77views Education» more  CASCON 1996»
15 years 5 months ago
Harvesting design for an application framework
Framework design begins with domain analysis. Either the problem domain is analyzed to create a new design, or the solution domain is analyzed to understand how the problem has al...
Joan Boone
186
Voted
3DPH
2009
207views Healthcare» more  3DPH 2009»
15 years 4 months ago
A 3D Human Brain Atlas
3D representations of human physiology provide interesting options in the field of education. Understanding the human brain seems to be much easier when the anatomical structure is...
Sebastian Thelen, Jörg Meyer, Achim Ebert, Ha...