Sciweavers

469 search results - page 43 / 94
» Scheduler Modeling Based on the Controller Synthesis Paradig...
Sort
View
WORDS
2003
IEEE
15 years 2 months ago
Event-Driven Support of Real-Time Sentient Objects
The emergence of applications operating independently of direct human control is inevitable. Research on high-level models for this class of applications— e.g. on autonomous age...
Paulo Veríssimo, Antonio Casimiro
FMCAD
2007
Springer
15 years 1 months ago
Transaction Based Modeling and Verification of Hardware Protocols
Modeling hardware through atomic guard/action transitions with interleaving semantics is popular, owing to the conceptual clarity of modeling and verifying the high level behavior ...
Xiaofang Chen, Steven M. German, Ganesh Gopalakris...
VLDB
2007
ACM
160views Database» more  VLDB 2007»
15 years 3 months ago
Over-encryption: Management of Access Control Evolution on Outsourced Data
Data outsourcing is emerging today as a successful paradigm allowing users and organizations to exploit external services for the distribution of resources. A crucial problem to b...
Sabrina De Capitani di Vimercati, Sara Foresti, Su...
68
Voted
CONCURRENCY
2004
90views more  CONCURRENCY 2004»
14 years 9 months ago
Programming and coordinating Grid environments and applications
The heterogeneous and dynamic nature of Grid environments place new demands on models and paradigms for parallel programming. In this work we discuss how ALua, a programming syste...
Cristina D. Ururahy, Noemi de La Rocque Rodriguez
COMCOM
2006
140views more  COMCOM 2006»
14 years 9 months ago
A combined delay and throughput proportional scheduling scheme for differentiated services
Abstract--The proportional differentiation model is a newly introduced approach for differentiated services networks. This paper proposes and evaluates a scheduling mechanism for t...
Ahmed E. Kamal, Samyukta Sankaran