Sciweavers

2555 search results - page 255 / 511
» Quantifiers and Working Memory
Sort
View
EMSOFT
2006
Springer
15 years 8 months ago
Time-triggered implementations of dynamic controllers
Bridging the gap between model-based design and platformbased implementation is one of the critical challenges for embedded software systems. In the context of embedded control sy...
Truong Nghiem, George J. Pappas, Rajeev Alur, Anto...
EMSOFT
2006
Springer
15 years 8 months ago
An analysis framework for network-code programs
Distributed real-time systems require a predictable and verifiable mechanism to control the communication medium. Current real-time communication protocols are typically independe...
Madhukar Anand, Sebastian Fischmeister, Insup Lee
CCS
2010
ACM
15 years 5 months ago
Sidebuster: automated detection and quantification of side-channel leaks in web application development
A web application is a "two-part" program, with its components deployed both in the browser and in the web server. The communication between these two components inevita...
Kehuan Zhang, Zhou Li, Rui Wang 0010, XiaoFeng Wan...
ADHOC
2007
122views more  ADHOC 2007»
15 years 4 months ago
Modeling and analyzing the correctness of geographic face routing under realistic conditions
Geographic protocols are very promising for wireless ad hoc and sensor networks due to the low state storage and low message overhead. Under certain idealized conditions, geograph...
Karim Seada, Ahmed Helmy, Ramesh Govindan
BMCBI
2008
158views more  BMCBI 2008»
15 years 4 months ago
Metrics for GO based protein semantic similarity: a systematic evaluation
Background: Several semantic similarity measures have been applied to gene products annotated with Gene Ontology terms, providing a basis for their functional comparison. However,...
Catia Pesquita, Daniel Faria, Hugo P. Bastos, Ant&...