Sciweavers

1529 search results - page 280 / 306
» Energy-Based Models of P Systems
Sort
View
ENTCS
2006
109views more  ENTCS 2006»
13 years 8 months ago
Incremental Verification for On-the-Fly Controller Synthesis
The CIRCA system automatically synthesizes hard real-time discrete event controllers from plant and environment descriptions. CIRCA's automatically-synthesized controllers pr...
David J. Musliner, Michael J. S. Pelican, Robert P...
TISSEC
2008
202views more  TISSEC 2008»
13 years 8 months ago
A Framework for Identifying Compromised Nodes in Wireless Sensor Networks
compromised sensor nodes. The framework provides an appropriate abstraction of applicationspecific detection mechanisms and models the unique properties of sensor networks. Based o...
Qing Zhang, Ting Yu, Peng Ning
TOSEM
2008
117views more  TOSEM 2008»
13 years 8 months ago
Power laws in software
e than previously established, appearing at various levels of abstraction, in diverse systems and languages. The implications of this phenomenon cover various aspects of software e...
Panagiotis Louridas, Diomidis Spinellis, Vasileios...
TRANSCI
2008
108views more  TRANSCI 2008»
13 years 8 months ago
Per-Seat, On-Demand Air Transportation Part II: Parallel Local Search
The availability of relatively cheap small jet aircrafts suggests a new air transportation business: dial-a-flight, an on-demand service in which travelers call a few days in adva...
Daniel G. Espinoza, R. Garcia, Marcos Goycoolea, G...
JCNS
2000
168views more  JCNS 2000»
13 years 8 months ago
Integrating Top-Down and Bottom-Up Sensory Processing by Somato-Dendritic Interactions
The classical view of cortical information processing is that of a bottom-up process in a feedforward hierarchy. However, psychophysical, anatomical, and physiological evidence sug...
Markus Siegel, Konrad P. Körding, Peter K&oum...