Sciweavers

1990 search results - page 254 / 398
» Integrated Human Behavior Modeling
Sort
View
FORMATS
2009
Springer
15 years 6 months ago
Exploiting Timed Automata for Conformance Testing of Power Measurements
For software development, testing is still the primary choice for investigating the correctness of a system. Automated testing is of utmost importance to support continuous integra...
Matthias Woehrle, Kai Lampka, Lothar Thiele
IPPS
2008
IEEE
15 years 6 months ago
A wireless sensor network based closed-loop system for subsurface contaminant plume monitoring
A closed-loop contaminant plume monitoring system is being developed that integrates wireless sensor network based monitoring with numerical models for subsurface plumes. The syst...
Qi Han, Anura P. Jayasumana, Tissa H. Illangasekar...
WECWIS
2008
IEEE
103views ECommerce» more  WECWIS 2008»
15 years 5 months ago
Reverse Pricing in Supply Chains: An Assessment of Sourcing Strategies
Reverse pricing as a special form of dynamic pricing has become a growing interest in e-commerce. It gives buyers an active role: The price of a transaction is not given by the su...
Yll Mujaj, Jörg Leukel, Stefan Kirn
ICMCS
2005
IEEE
92views Multimedia» more  ICMCS 2005»
15 years 5 months ago
Personalized Prefetching for Manets
Mobile ad hoc networks (MANETs) are a very promising next generation networks. Prediction is an essential aspect in the deployment of MANETs. Current work mainly focuses on mobili...
S. H. Srinivasan
ECAI
2004
Springer
15 years 4 months ago
High-Level Observations in Java Debugging
Recent years have seen considerable developments in modeling techniques for automatic fault location in programs. However, much of this research considered the models from a standa...
Wolfgang Mayer, Markus Stumptner