Sciweavers

8337 search results - page 1231 / 1668
» Reasoning With Characteristic Models
Sort
View
ENTCS
2006
139views more  ENTCS 2006»
15 years 6 months ago
Improving the Usability of a Graph Transformation Language
Model transformation tools implemented using graph transformation techniques are often expected to provide high performance. For this reason, in the Graph Rewriting and Transforma...
Attila Vizhanyo, Sandeep Neema, Feng Shi, Daniel B...
CCE
2007
15 years 6 months ago
Water networks security: A two-stage mixed-integer stochastic program for sensor placement under uncertainty
This work describes a stochastic approach for the optimal placement of sensors in municipal water networks to detect maliciously injected contaminants. The model minimizes the exp...
Vicente Rico-Ramírez, Sergio Frausto-Hern&a...
IJSC
2008
95views more  IJSC 2008»
15 years 6 months ago
Beyond Information Silos - an Omnipresent Approach to Software Evolution
ifferent abstraction levels, resulting in isolated `information silos'. An increasing number of task-specific software tools aim to support developers, but this often results ...
Juergen Rilling, René Witte, Philipp Sch&uu...
JSS
2006
155views more  JSS 2006»
15 years 6 months ago
Semantic component networking: Toward the synergy of static reuse and dynamic clustering of resources in the knowledge grid
Model is a kind of codified knowledge that has been verified in solving problems. Solving a complex problem usually needs a set of models. Using components, the composition of a s...
Hai Zhuge
ALIFE
2005
15 years 6 months ago
Flexible Couplings: Diffusing Neuromodulators and Adaptive Robotics
Recent years have seen the discovery of freely diffusing gaseous neurotransmitters, such as nitric oxide (NO), in biological nervous systems. A type of artificial neural network (A...
Andrew Philippides, Phil Husbands, Tom Smith, Mich...
« Prev « First page 1231 / 1668 Last » Next »