11808 search results - page 328 / 2362 » Isometries and Computability Structures |
181
click to vote
COMPSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we describe a framework for the computeraided evolution of the designs of object-oriented software systems. Evolution mechanisms are software structures that prepar...
187
click to vote
HICSS
2007
IEEE
16 years 28 days ago
2007
IEEE
In this paper we discuss and demonstrate how traditional literature reviews may be enriched by computer-assisted research profiling. Research profiling makes use of sophisticated ...
167
click to vote
SEFM
2007
IEEE
16 years 26 days ago
2007
IEEE
We give a formal account of a calculus for modeling service-based systems, suitable to describe both service composition (orchestration) and the protocol that services run when in...
172
click to vote
IJCNN
2006
IEEE
16 years 18 days ago
2006
IEEE
Abstract— Using a neural network-fuzzy logic-genetic algorithm approach we generate an optimal predictor for biological activities of HIV-1 protease potential inhibitory compound...
172
click to vote
CAISE
2005
Springer
16 years 4 days ago
2005
Springer
Integrity checking is aimed at efficiently determining whether the state of the information base is consistent after the application of a set of structural events. One possible way...