308 search results - page 37 / 62 » Layer Supported Models of Logic Programs |
112
click to vote
CADE
2004
Springer
16 years 2 days ago
2004
Springer
Formal semantic definitions of concurrent languages, when specified in a well-suited semantic framework and supported by generic and efficient formal tools, can be the basis of pow...
103
click to vote
CBSE
2004
Springer
15 years 5 months ago
2004
Springer
According to Szyperski, “a software component is a unit of composition with contractually specified interfaces and explicit context dependencies only”. But it is well known tha...
115
click to vote
DOLAP
2005
ACM
15 years 1 months ago
2005
ACM
Online Analytical Processing is a powerful framework for the analysis of organizational data. OLAP is often supported by a logical structure known as a data cube, a multidimension...
HOTOS
2009
IEEE
15 years 3 months ago
2009
IEEE
In this paper, we propose FLUXO, a system that separates an Internet service's logical functionality from the architectural decisions made to support performance, scalability...
117
click to vote
SIGSOFT
2007
ACM
16 years 15 days ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...