Sciweavers

4474 search results - page 470 / 895
» Design Tools for User Experience Design
Sort
View
ASPDAC
2000
ACM
97views Hardware» more  ASPDAC 2000»
16 years 2 days ago
Symbolic debugging of globally optimized behavioral specifications
Symbolic debuggers are system development tools that can accelerate the validation speed of behavioral specifications by allowing a user to interact with an executing code at the ...
Inki Hong, Darko Kirovski, Miodrag Potkonjak, Mari...
JSSPP
2010
Springer
15 years 5 months ago
Dynamic Proportional Share Scheduling in Hadoop
We present the Dynamic Priority (DP) parallel task scheduler for Hadoop. It allows users to control their allocated capacity by adjusting their spending over time. This simple mech...
Thomas Sandholm, Kevin Lai
ICASSP
2011
IEEE
14 years 11 months ago
Stochastic resource allocation for cognitive radio networks based on imperfect state information
Efficient design of cognitive radio networks calls for secondary users implementing adaptive resource allocation, which requires knowledge of the channel state information in ord...
Antonio G. Marqués, Georgios B. Giannakis, ...
FASE
2008
Springer
15 years 9 months ago
Automated Analysis of Permission-Based Security Using UMLsec
Abstract. To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems' resources. These permissions enf...
Jan Jürjens, Jörg Schreck, Yijun Yu
MHCI
2005
Springer
16 years 1 months ago
Navigation control for mobile virtual environments
In this paper, we describe a project which uses PDAs to provide an interactive experience with a virtual environment. In particular, we focus on the navigational aspects of allowi...
Gary Marsden, Nicholas Tip