Sciweavers

3073 search results - page 495 / 615
» Real World Verification
Sort
View
PERCOM
2010
ACM
13 years 8 months ago
encDPWS - message encoding of SOAP Web Services
—Current efforts in real world deployment of wireless sensor networks end up in the development of the 6LoWPAN protocols. While big industrial consortia develop new technologies,...
Guido Moritz, Dirk Timmermann, Regina Stoll, Frank...
PPDP
2010
Springer
13 years 8 months ago
A declarative approach to robust weighted Max-SAT
The presence of uncertainty in the real world makes robustness to be a desired property of solutions to constraint satisfaction problems. Roughly speaking, a solution is robust if...
Miquel Bofill, Dídac Busquets, Mateu Villar...
TSE
2010
136views more  TSE 2010»
13 years 8 months ago
A Theoretical and Empirical Study of Search-Based Testing: Local, Global, and Hybrid Search
Search based optimization techniques have been applied to structural software test data generation since 1992, with a recent upsurge in interest and activity within this area. How...
Mark Harman, Phil McMinn
WAIM
2010
Springer
13 years 8 months ago
Hotspot District Trajectory Prediction
Trajectory prediction (TP) of moving objects has grown rapidly to be a new exciting paradigm. However, existing prediction algorithms mainly employ kinematical models to approximat...
Hongjun Li, Changjie Tang, Shaojie Qiao, Yue Wang,...
BIRTHDAY
2010
Springer
13 years 8 months ago
A Logistics Workload for Event Notification Middleware
The event-based paradigm plays an important role to reflect logistics processes in modern IT infrastructures. Events occur at many stages, e.g., when goods tagged with RFID chips a...
Stefan Appel, Kai Sachs