Sciweavers

2128 search results - page 80 / 426
» A general characterization of indulgence
Sort
View
WOSP
2005
ACM
15 years 6 months ago
Modeling continuous changes of the user's dynamic behavior in the WWW
Understanding the characteristics of the users’ workload is an important aspect when designing and providing web services. The majority of current workload characterization tech...
Raúl Peña-Ortiz, Julio Sahuquillo, A...
93
Voted
HYBRID
1997
Springer
15 years 4 months ago
Relating Time Progress and Deadlines in Hybrid Systems
Abstract. Time progress conditions in hybrid systems are usually speci ed in terms of invariants, predicates characterizing states where time can continuously progress or dually, d...
Sébastien Bornot, Joseph Sifakis
92
Voted
SOFSEM
1997
Springer
15 years 4 months ago
On Finite Representations of Infinite-State Behaviours
Abstract. We examine the problem of finite-state representability of infinitestate processes w.r.t. certain behavioural equivalences. We show that the classical notion of regularit...
Antonín Kucera
ATAL
2008
Springer
15 years 2 months ago
Towards background emotion modeling for embodied virtual agents
For the realistic simulation of embodied agents we need a model of emotion that represents both structural and dynamic aspects of emotional phenomena to serve as background suppor...
Luís Morgado, Graça Gaspar
117
Voted
RTAS
2010
IEEE
14 years 10 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