Sciweavers

2106 search results - page 124 / 422
» Specifying C concepts
Sort
View
AAAI
2004
13 years 11 months ago
Logic Programs with Abstract Constraint Atoms
We propose and study extensions of logic programming with constraints represented as generalized atoms of the form C(X), where X is a finite set of atoms and C is act constraint (...
Victor W. Marek, Miroslaw Truszczynski
SBBD
2004
82views Database» more  SBBD 2004»
13 years 11 months ago
FramePersist: An Object Persistence Framework for Mobile Device Applications
Traditional requirements for persistence layers do not consider limitations of the development platforms available for mobile devices. In order to facilitate the development of ap...
Katy C. P. Magalhães, Windson V. Carvalho, ...
GRC
2008
IEEE
13 years 11 months ago
Granular Problem Solving and Software Engineering
Granulation is an important component of Granular Computing (GrC) as a problem solving paradigm. Specification and regulation of granulation are necessary in helping researchers a...
Haibin Zhu
CORR
2010
Springer
81views Education» more  CORR 2010»
13 years 10 months ago
On the size of identifying codes in triangle-free graphs
In an undirected graph G = (V, E), a subset C V such that C is a dominating set of G, and each vertex in V is dominated by a distinct subset of vertices from C, is called an iden...
Florent Foucaud, Ralf Klasing, Adrian Kosowski, An...
MODELS
2009
Springer
14 years 4 months ago
Generic Model Refactorings
Many modeling languages share some common concepts and principles. For example, Java, MOF, and UML share some aspects of the concepts of classes, methods, attributes, and inheritan...
Naouel Moha, Vincent Mahé, Olivier Barais, ...