10916 search results - page 1894 / 2184 » On Constructive Connectives and Systems |
199
click to vote
RE
2005
Springer
16 years 28 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 ...
168
click to vote
SARA
2005
Springer
16 years 27 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...
208
click to vote
WAC
2005
Springer
16 years 27 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...
198
click to vote
DOCENG
2004
ACM
16 years 26 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...
201
click to vote
ERLANG
2004
ACM
16 years 26 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...