Sciweavers

4151 search results - page 609 / 831
» Language Driven System Design
Sort
View
KBSE
2007
IEEE
16 years 1 months ago
Towards automatic model synchronization from model transformations
The metamodel techniques and model transformation techniques provide a standard way to represent and transform data, especially the software artifacts in software development. How...
Yingfei Xiong, Dongxi Liu, Zhenjiang Hu, Haiyan Zh...
HASKELL
2006
ACM
16 years 1 months ago
Strong types for relational databases
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...
Alexandra Silva, Joost Visser
JCDL
2004
ACM
141views Education» more  JCDL 2004»
16 years 15 days ago
The multi-faceted use of the OAI-PMH in the lanl repository
This paper focuses on the multifaceted use of the OAI-PMH in a repository architecture designed to store digital assets at the Research Library of the Los Alamos National Laborato...
Henry N. Jerez, Xiaoming Liu 0005, Patrick Hochste...
188
Voted
APSEC
1999
IEEE
15 years 11 months ago
Testing, Reliability, and Interoperability Issues in the CORBA Programming Paradigm
CORBA (Common Object Request Broker Architecture) is widely perceived as an emerging platform for distributed systems development. In this paper, we discuss CORBA's testing, ...
Gang Xing, Michael R. Lyu
DALT
2008
Springer
15 years 8 months ago
Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming
The core capability of a rational agent is to choose its next action in a rational fashion, a capability that can be put to good use by a designer to satisfy the design objectives ...
Koen V. Hindriks, M. Birna van Riemsdijk