1321 search results - page 208 / 265 » Subtyping in Logical Form |
165
click to vote
GPCE
2007
Springer
16 years 13 days 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...
147
click to vote
ICLP
2007
Springer
16 years 13 days ago
2007
Springer
As logic programming applications grow in size, Prolog systems need to efficiently access larger and larger data sets and the need for any- and multiargument indexing becomes more...
149
click to vote
MIDDLEWARE
2007
Springer
16 years 12 days ago
2007
Springer
Developing applications for sensor networks is a challenging task. Most programming systems narrowly focus on programming issues while ignoring that programming represents only a ...
142
click to vote
PPDP
2007
Springer
16 years 12 days ago
2007
Springer
We propose a framework to construct web-oriented user interfaces in a high-level way by exploiting declarative programming techniques. Such user interfaces are intended to manipul...
191
click to vote
SOCO
2007
Springer
16 years 11 days ago
2007
Springer
In component based software engineering, an application is build by composing trusted and reusable units of execution, the components. A composition is formed by connecting the com...