Sciweavers

8190 search results - page 291 / 1638
» From Timed to Hybrid Systems
Sort
View
GI
2007
Springer
16 years 27 days ago
Industrial Requirements to Benefit from Test Automation Tools for GUI Testing
: In addition to the growing complexity of software systems, test effort takes increasing amounts of time and correspondingly more money. Testing costs may be reduced without compr...
Christof J. Budnik, Rajesh Subramanyan, Marlon Vie...
165
Voted
WISE
2002
Springer
15 years 11 months ago
Topic Extraction from News Archive Using TF*PDF Algorithm
Busy and no time to digest the news archive .... ? Ever since the Web wide-spreading, the amount of electronically available information online, especially news archive proliferat...
Khoo Khyou Bun, Mitsuru Ishizuka
WMCSA
2009
IEEE
16 years 1 months ago
Sharing airtime with Shair avoids wasting time and money
Shair is a system allowing contracted mobile phone users to benefit from their unused quota minutes and text messages. Unused minutes and texts are shared via opportunistic local...
Pan Hui, Richard Mortier, Kuang Xu, Jon Crowcroft,...
PR
2006
145views more  PR 2006»
15 years 6 months ago
Gait recognition using linear time normalization
We present a novel system for gait recognition. Identity recognition and verification are based on the matching of linearly timenormalized gait walking cycles. A novel feature ext...
Nikolaos V. Boulgouris, Konstantinos N. Platanioti...
TSE
2010
120views more  TSE 2010»
15 years 5 months ago
Time and Probability-Based Information Flow Analysis
Abstract—In multilevel systems it is important to avoid unwanted indirect information flow from higher levels to lower levels, namely the so called covert channels. Initial stud...
Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo...