10916 search results - page 1894 / 2184 » On Constructive Connectives and Systems |
183
click to vote
RE
2005
Springer
16 years 5 days ago
2005
Springer
A reverse engineering process aims at reconstructing el abstractions from source code. This paper presents a novel reverse engineering methodology for recovering stakeholder goal ...
153
click to vote
SARA
2005
Springer
16 years 5 days ago
2005
Springer
Sets of features in Markov decision processes can play a critical role ximately representing value and in abstracting the state space. Selection of features is crucial to the succe...
185
Voted
WAC
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. The Internet is facing ever-increasing complexity in the construction, configuration and management of heterogeneous networks. New communication paradigms are underminin...
174
click to vote
DOCENG
2004
ACM
16 years 4 days ago
2004
ACM
We show that an XML DTD (Document Type Definition) can be viewed as the fixed point of a parametric content model. We then use natural transformations from the source content mo...
166
click to vote
ERLANG
2004
ACM
16 years 4 days ago
2004
ACM
Structured Programming techniques are applied to a personal accounting software application implemented in erlang as a demonstration of the utility of processes as design construc...