7715 search results - page 972 / 1543 » Visual Rules Modeling |
193
click to vote
FOAL
2009
ACM
16 years 1 months ago
2009
ACM
We present a programming language model of the ideas behind Functional Adaptive Programming (AP-F) and our Java implementation, DemeterF. Computation in AP-F is encapsulated in se...
177
click to vote
ECSA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this paper, we report on the development of a methodology for the evolution of software towards new architectures. In our approach, we represent source code as graphs....
189
click to vote
ER
2007
Springer
16 years 1 months ago
2007
Springer
During software requirements analysis and design steps, developers and stakeholders have many alternatives of artifacts such as software component selection and should make decisi...
198
click to vote
ICLP
2007
Springer
16 years 1 months ago
2007
Springer
aa We consider the problem of obtaining a minimal logic program strongly equivalent (under the stable models semantics) to a given arbitrary propositional theory. We propose a meth...
172
click to vote
ICOST
2007
Springer
16 years 1 months ago
2007
Springer
This paper formalizes three kinds of safety to be satisfied by networked appliances and services in the emerging home network system (HNS). The local safety is defined by safety ...