3147 search results - page 281 / 630 » Open-Source Model Checking |
157
Voted
WCRE
2009
IEEE
15 years 10 months ago
2009
IEEE
—Much of modern software development consists of building on older changes. Older periods provide the structure (e.g., functions and data types) on which changes in future period...
134
Voted
ICSM
2009
IEEE
15 years 10 months ago
2009
IEEE
Modeling the navigation structure of a dynamic web application is a challenging task because of the presence of dynamic pages. In particular, there are two problems to be dealt wi...
143
Voted
RTCSA
2007
IEEE
15 years 10 months ago
2007
IEEE
A lot of real-time database (RTDB) research has been done to process transactions in a timely fashion using fresh data reflecting the current real world status. However, most exi...
142
Voted
ELPUB
2006
ACM
15 years 9 months ago
2006
ACM
Various new imaging techniques have been used at the C2RMF, in order to digitize paintings and objects. These techniques are used for extensive and detailed non-destructive analys...
168
Voted
NIPS
2007
15 years 5 months ago
2007
Large repositories of source code create new challenges and opportunities for statistical machine learning. Here we first develop Sourcerer, an infrastructure for the automated c...