1950 search results - page 357 / 390 » Lambda-Free Logical Frameworks |
135
click to vote
FMCO
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. The aim of this paper is to show how the Model Driven Architecture (MDA) can be used in relation with component based software engineering. A software component only exhi...
107
click to vote
LPNMR
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. In answer-set programming (ASP), the main focus usually is on computing answer sets which correspond to solutions to the problem represented by a logic program. Simple re...
133
click to vote
SEMWEB
2001
Springer
15 years 6 months ago
2001
Springer
Metadata are widely used in order to fully exploit information resources available on corporate intranets or the Internet. The Resource Description Framework (RDF) aims at facilit...
114
click to vote
ISCA
2000
IEEE
15 years 6 months ago
2000
IEEE
Smaller feature sizes, reduced voltage levels, higher transistor counts, and reduced noise margins make future generations of microprocessors increasingly prone to transient hardw...
115
click to vote
SIGMOD
1999
ACM
15 years 6 months ago
1999
ACM
The design of webbases, database systems for supporting Webbased applications, is currently an active area of research. In this paper, we propose a 3-layer architecture for design...