1113 search results - page 155 / 223 » Counter Systems for Data Logics |
159
click to vote
POPL
1997
ACM
15 years 9 months ago
1997
ACM
Languages like ML and Haskell encourage the view of values as first-class entities that can be passed as arguments or results of functions, or stored as components of data struct...
134
click to vote
ENTCS
2007
15 years 4 months ago
2007
The rewrite-based approach to satisfiability modulo theories consists of using generic theorem-proving strategies for first-order logic with equality. If one can prove that an i...
149
click to vote
JUCS
2006
15 years 4 months ago
2006
Abstract: Recently a growing demand has arisen for methods for the development of smalland medium scale Web Information Systems (WIS). Web applications are being built in a rapidly...
130
click to vote
ICEIS
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract. Due to the changing scope of data management towards the management of heterogeneous and distributed systems and applications, integration processes gain in importance. T...
143
click to vote
GPCE
2007
Springer
15 years 11 months ago
2007
Springer
Maintaining integrity, consistency, and enforcing conformance in architectures of large-scale systems requires specification and enforcement of many different forms of structural...