3782 search results - page 216 / 757 » Engineering Social Order |
COMPSAC
2004
IEEE
14 years 2 months ago
2004
IEEE
Temporal correctness is crucial to the dependability of real-time systems. Few methods exist to test for temporal correctness and most existing methods are ad-hoc. A problem with ...
FSTTCS
2008
Springer
13 years 12 months ago
2008
Springer
A sup-interpretation is a tool which provides upper bounds on the size of the values computed by the function symbols of a program. Sup-interpretations have shown their interest to...
CISIS
2011
IEEE
12 years 10 months ago
2011
IEEE
—The Dynamic Vehicle Routing Problem (DVRP) is an optimization problem in which agents deliver orders that are not known in advance to the routing. Partial solutions need to be a...
ICDE
2007
IEEE
15 years 4 days ago
2007
IEEE
In the ocean of Web data, Web search engines are the primary way to access content. As the data is on the order of petabytes, current search engines are very large centralized sys...
CSMR
2007
IEEE
14 years 5 months ago
2007
IEEE
Software product line engineering aims at producing functionally similar software systems as a family of products. In this process, the development life cycle has been shifted from...