Sciweavers

7557 search results - page 1248 / 1512
» Modeling Timed Concurrent Systems
Sort
View
PE
2002
Springer
207views Optimization» more  PE 2002»
15 years 7 months ago
Delay characteristics in discrete-time GI-G-1 queues with non-preemptive priority queueing discipline
Priority scheduling for packets is becoming a hot topic, as attemps are being made to integrate voice services in existing data networks. In this paper, we consider a discrete-tim...
Joris Walraevens, Bart Steyaert, Herwig Bruneel
187
Voted
SOSYM
2002
123views more  SOSYM 2002»
15 years 7 months ago
A structured operational semantics for UML-statecharts
The Unified Modeling Language (UML) has gained wide acceptance in very short time because of its variety of well-known and intuitive graphical notations. However, this comes at the...
Michael von der Beeck
191
Voted
VLDB
2002
ACM
125views Database» more  VLDB 2002»
15 years 7 months ago
Self-tuning Database Technology and Information Services: from Wishful Thinking to Viable Engineering
Automatic tuning has been an elusive goal for database technology for a long time and is becoming a pressing issue for modern E-services. This paper reviews and assesses the advan...
Gerhard Weikum, Axel Mönkeberg, Christof Hass...
186
Voted
ICRA
2010
IEEE
122views Robotics» more  ICRA 2010»
15 years 6 months ago
Adaptive exploitation of multipath fading for mobile sensors
— Mobile wireless sensors in indoor environments will experience multipath fading, causing rapid variations in the capacity of the radio link. We present a strategy that increase...
Magnus Lindhé, Karl Henrik Johansson
RAID
2010
Springer
15 years 5 months ago
Bait Your Hook: A Novel Detection Technique for Keyloggers
Software keyloggers are a fast growing class of malware often used to harvest confidential information. One of the main reasons for this rapid growth is the possibility for unpriv...
Stefano Ortolani, Cristiano Giuffrida, Bruno Crisp...
« Prev « First page 1248 / 1512 Last » Next »