Sciweavers

2148 search results - page 348 / 430
» Responsiveness in Process Calculi
Sort
View
RTAS
2010
IEEE
14 years 8 months ago
Timing Analysis for TDMA Arbitration in Resource Sharing Systems
Abstract--Modern computing systems have adopted multicore architectures and multiprocessor systems on chip (MPSoCs) for accommodating the increasing demand on computation power. Ho...
Andreas Schranzhofer, Jian-Jia Chen, Lothar Thiele
DAC
2009
ACM
14 years 8 months ago
A physical unclonable function defined using power distribution system equivalent resistance variations
For hardware security applications, the availability of secret keys is a critical component for secure activation, IC authentication and for other important applications including...
Ryan Helinski, Dhruva Acharyya, Jim Plusquellic
ICCBR
2009
Springer
14 years 8 months ago
Toward Modeling and Teaching Legal Case-Based Adaptation with Expert Examples
Studying examples of expert case-based adaptation could advance computational modeling but only if the examples can be succinctly represented and reliably interpreted. Supreme Cour...
Kevin D. Ashley, Collin Lynch, Niels Pinkwart, Vin...
106
Voted
ENTCS
2010
97views more  ENTCS 2010»
14 years 7 months ago
A Framework for Modelling and Simulating Networks of Cells
Several complex biological phenomena are to be modelled in terms of a large and dynamic network of compartments, where the interplay between inter-compartment and intra-compartmen...
Sara Montagna, Mirko Viroli
ENVSOFT
2010
79views more  ENVSOFT 2010»
14 years 7 months ago
Interactive modelling for natural resource management
We present a modelling approach to rapidly assess the effect of management decisions on ecological problems and demonstrate its use in fishery management. Each stage of the approa...
F. Boschetti, A. de La Tour, E. A. Fulton, L. R. L...