4041 search results - page 54 / 809 » time 2009 |
141
click to vote
ADBIS
2009
Springer
16 years 24 days ago
2009
Springer
Abstract. Being able to activate triggers at timepoints reached or after time intervals elapsed has been acknowledged by many authors as a valuable functionality of a DBMS. Recentl...
155
click to vote
FM
2009
Springer
16 years 22 days ago
2009
Springer
Abstract. We present a new domain for analyzing must-equalities between address expressions. The domain is a smooth combination of Herbrand and affine equalities which enables us t...
157
click to vote
FORMATS
2009
Springer
16 years 22 days ago
2009
Springer
For software development, testing is still the primary choice for investigating the correctness of a system. Automated testing is of utmost importance to support continuous integra...
154
click to vote
FSTTCS
2009
Springer
16 years 22 days ago
2009
Springer
Linear temporal logic was introduced in order to reason about reactive systems. It is often considered with respect to infinite words, to specify the behaviour of long-running sys...
145
click to vote
GECCO
2009
Springer
16 years 22 days ago
2009
Springer
We address a large scale waste collection vehicle routing problem with time windows (VRPTW) complicated by multiple disposal trips and drivers lunch breaks. A fitness search spac...