3233 search results - page 422 / 647 » Rule Modeling and Markup |
168
click to vote
ECSA
2007
Springer
16 years 25 days 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....
182
click to vote
ER
2007
Springer
16 years 24 days 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...
190
click to vote
ICLP
2007
Springer
16 years 24 days 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...
166
click to vote
ICOST
2007
Springer
16 years 24 days 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 ...
168
click to vote
POLICY
2007
Springer
16 years 23 days ago
2007
Springer
Policy-based management (PBM) aims to provide flexibility in the management of resources so as to readily reflect changing business goals. However, as organizations increasingly u...