Sciweavers

1156 search results - page 109 / 232
» The PENG System: Practice and Experience
Sort
View
IJKM
2007
375views more  IJKM 2007»
14 years 11 months ago
The Quality of Knowledge: Knowledge Patterns and Knowledge Refactorings
: Knowledge management is a relatively young discipline. Nevertheless, it has accumulated a valuable body-of-knowledge in the structuring of knowledge and in the design of socio-te...
Jörg Rech, Björn Decker, Eric Ras, Andre...
INFORMS
2010
90views more  INFORMS 2010»
14 years 9 months ago
Approximate Dynamic Programming for Ambulance Redeployment
We present an approximate dynamic programming approach for making ambulance redeployment decisions in an emergency medical service system. The primary decision is where we should ...
Matthew S. Maxwell, Mateo Restrepo, Shane G. Hende...
SPIN
2010
Springer
14 years 9 months ago
Automatic Generation of Model Checking Scripts Based on Environment Modeling
When applying model checking to the design models of the embedded systems, it is necessary to model not only the behavior of the target system but also that of the environment inte...
Kenro Yatake, Toshiaki Aoki
ITS
2010
Springer
178views Multimedia» more  ITS 2010»
15 years 4 months ago
Learning What Works in ITS from Non-traditional Randomized Controlled Trial Data
The traditional, well established approach to finding out what works in education research is to run a randomized controlled trial (RCT) using a standard pretest and posttest desig...
Zachary A. Pardos, Matthew D. Dailey, Neil T. Heff...
TACS
2001
Springer
15 years 3 months ago
The UDP Calculus: Rigorous Semantics for Real Networking
Network programming is notoriously hard to understand: one has to deal with a variety of protocols (IP, ICMP, UDP, TCP etc), concurrency, packet loss, host failure, timeouts, the c...
Andrei Serjantov, Peter Sewell, Keith Wansbrough