6274 search results - page 727 / 1255 » Proofs, Programs, Processes |
184
click to vote
EH
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper discusses the problem of increased programming time for intrinsic evolvable hardware (EHW) as the complexity of the circuit grows. We develop equations for the size of ...
183
click to vote
EDBTW
2006
Springer
15 years 10 months ago
2006
Springer
Reactivity, the ability to detect and react to events, is an essential functionality in many information systems. In particular, Web systems such as online marketplaces, adaptive (...
206
click to vote
HPCN
2000
Springer
15 years 10 months ago
2000
Springer
The paper presents the implementation of a railway control system, as a means of assessing the potential of coordination languages to be used for modelling software architectures f...
170
click to vote
ICALP
2000
Springer
15 years 10 months ago
2000
Springer
This report presents a formal approach to reducing sequences in PEPA components. Performing the described amalgamation procedure we may remove, from the underlying Markov chain, t...
193
click to vote
PKDD
2000
Springer
15 years 10 months ago
2000
Springer
Although there is a growing need for multi-relational data mining solutions in KDD, the use of obvious candidates from the field of Inductive Logic Programming (ILP) has been limit...