9186 search results - page 1276 / 1838 » A Module System for Scheme |
157
click to vote
TACAS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Symmetry reduction is a technique to combat the state explosion problem in temporal logic model checking. Its use with symbolic representation has suffered from the proh...
134
Voted
VLDB
2005
ACM
15 years 10 months ago
2005
ACM
With the increasing occurrence of temporal and spatial data in present-day database applications, the interval data type is adopted by more and more database systems. For an effic...
127
click to vote
ADBIS
2004
Springer
15 years 10 months ago
2004
Springer
Business rules are often implemented as stored procedures in a database server. These procedures are triggered by various clients, but the execution load is fully centralized on th...
171
click to vote
GI
2004
Springer
15 years 10 months ago
2004
Springer
: When designing an XML-based Web Content Management System (WCMS), one usually has to define and maintain two separate entities just for the editorial part: the database schemes ...
172
click to vote
ISMS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Surgical simulations with the aid of computers is a topic of increasingly extensive research. Realtime response and interactivity are crucial components of any such syste...