7557 search results - page 1484 / 1512 » Modeling Timed Concurrent Systems |
AI
2000
Springer
14 years 11 months ago
2000
Springer
The Internet presents numerous sources of useful information--telephone directories, product catalogs, stock quotes, event listings, etc. Recently, many systems have been built th...
TKDE
2002
14 years 11 months ago
2002
The construction and maintenance of data warehouses (views) in large-scale environments composed of numerous distributed and evolving information sources (ISs) such as the WWW has ...
110
click to vote
NA
2007
14 years 11 months ago
2007
A least-squares spectral collocation method for the one-dimensional inviscid Burgers equation is proposed. This model problem shows the stability and high accuracy of these scheme...
126
click to vote
GROUP
2010
ACM
14 years 9 months ago
2010
ACM
Previous research has motivated the idea of automatically determining when programmers are having difficulty, provided an initial algorithm (unimplemented in an actual system), an...
SENSYS
2010
ACM
14 years 9 months ago
2010
ACM
We present AutoWitness, a system to deter, detect, and track personal property theft, improve historically dismal stolen property recovery rates, and disrupt stolen property distr...