Sciweavers

5015 search results - page 440 / 1003
» Model Checking a Path
Sort
View
SPIN
2012
Springer
13 years 9 months ago
Counterexample Explanation by Anomaly Detection
Since counterexamples generated by model checking tools are only symptoms of faults in the model, a significant amount of manual work is required in order to locate the fault that...
Stefan Leue, Mitra Tabaei Befrouei
ICNP
2005
IEEE
16 years 11 days ago
Can coexisting overlays inadvertently step on each other?
By allowing end hosts to make routing decisions at the application level, different overlay networks may unintentionally interfere with each other. This paper describes how multip...
Ram Keralapura, Chen-Nee Chuah, Nina Taft, Gianluc...
MM
2003
ACM
125views Multimedia» more  MM 2003»
16 years 17 hour ago
Automatic browsing of large pictures on mobile devices
Pictures have become increasingly common and popular in mobile communications. However, due to the limitation of mobile devices, there is a need to develop new technologies to fac...
Hao Liu, Xing Xie, Wei-Ying Ma, HongJiang Zhang
DBPL
1993
Springer
95views Database» more  DBPL 1993»
15 years 11 months ago
A Moose and a Fox Can Aid Scientists with Data Management Problems
Fox Finding Objects of eXperiments is the declarative query language for Moose Modeling Objects Of Scienti c Experiments, an object-oriented data model at the core of a scient...
Janet L. Wiener, Yannis E. Ioannidis
APWEB
2003
Springer
15 years 10 months ago
A Web User Profiling Approach
People display regularities in almost everything they do. This paper proposes characteristics of an idealized algorithm that would allow an automatic extraction of web user profil ...
Younes Hafri, Chabane Djeraba, Peter L. Stanchev, ...