Sciweavers

1132 search results - page 95 / 227
» On coordination, autonomy and time
Sort
View
FUIN
2008
147views more  FUIN 2008»
13 years 11 months ago
A Basic Logic for Reasoning about Connector Reconfiguration
Abstract. Software systems evolve over time. From a component-based software engineering perspective, this means that either the components of the system need to change, or, if com...
Dave Clarke
BC
2004
72views more  BC 2004»
13 years 11 months ago
A simple translation in cortical log-coordinates may account for the pattern of saccadic localization errors
During saccadic eye movements, the visual world shifts rapidly across the retina. Perceptual continuity is thought to be maintained by active neural mechanisms that compensate for ...
Rufin van Rullen
RTSS
2009
IEEE
14 years 6 months ago
Distributed, Modular HTL
Abstract—The Hierarchical Timing Language (HTL) is a realtime coordination language for distributed control systems. HTL programs must be checked for well-formedness, race freedo...
Thomas A. Henzinger, Christoph M. Kirsch, Eduardo ...
GLOBECOM
2008
IEEE
14 years 5 months ago
On Spectrum Sharing in Cooperative Multiple Access Networks
Abstract— The coexistence and resource sharing between a primary network utilizing cognitive relays and a secondary network are investigated. Two multiple access protocols are pr...
Amr El-Sherif, Ahmed K. Sadek, K. J. Ray Liu
WADS
2009
Springer
267views Algorithms» more  WADS 2009»
14 years 3 months ago
Computing the Implicit Voronoi Diagram in Triple Precision
In a paper that considered arithmetic precision as a limited resource in the design and analysis of algorithms, Liotta, Preparata and Tamassia defined an “implicit Voronoi diagr...
David L. Millman, Jack Snoeyink