Sciweavers

2390 search results - page 314 / 478
» Architectural Views and Alternatives
Sort
View
ICALT
2010
IEEE
15 years 7 months ago
What You Check is What You Get: Authoring with jEditOQMath
Abstract--jEditOQMath is an authoring tool for the intelligent learning environment ActiveMath. Its editing interface is a simple source editor. However the wealth and power of the...
Paul Libbrecht
BIOSYSTEMS
2007
82views more  BIOSYSTEMS 2007»
15 years 6 months ago
Homeostatic plasticity improves signal propagation in continuous-time recurrent neural networks
Continuous-time recurrent neural networks (CTRNNs) are potentially an excellent substrate for the generation of adaptive behaviour in artificial autonomous agents. However, node ...
Hywel T. P. Williams, Jason Noble
DPD
2006
144views more  DPD 2006»
15 years 6 months ago
Integration of transient Web services into a virtual peer to peer Web service registry
Transient Web service provisioning implies a variety of different requirements that are hard to meet in traditional Web service environments. Currently, Web service brokerage focus...
Schahram Dustdar, Martin Treiber
ENTCS
2006
123views more  ENTCS 2006»
15 years 6 months ago
Steering of Discrete Event Systems: Control Theory Approach
Runtime verification involves monitoring the system at runtime to check for conformance of the execution trace to user defined safety properties. Typically, run-time verifiers do ...
Arvind Easwaran, Sampath Kannan, Oleg Sokolsky
JODL
2006
64views more  JODL 2006»
15 years 6 months ago
Support for XML markup of image-based electronic editions
Image-based electronic editions enable researchers to view and study in an electronic environment historical manuscript images intricately linked to edition, transcript, glossary a...
Alex Dekhtyar, Ionut Emil Iacob, Jerzy W. Jaromczy...