Sciweavers

3133 search results - page 458 / 627
» Difference systems of sets and cyclotomy
Sort
View
83
Voted
HUC
2009
Springer
15 years 2 months ago
Understanding file access mechanisms for embedded Ubicomp collaboration interfaces
This paper explores the nature of interfaces to support people in accessing their files at tabletop displays embedded in the environment. To do this, we designed a study comparin...
Anthony Collins, Anastasia Bezerianos, Gregor McEw...
COMPSAC
2000
IEEE
15 years 2 months ago
Firewall Security: Policies, Testing and Performance Evaluation
This paper explores the firewall security and performance relationship for distributed systems. Experiments are conducted to set firewall security into seven different levels and ...
Michael R. Lyu, Lorrien K. Y. Lau
VR
2000
IEEE
117views Virtual Reality» more  VR 2000»
15 years 2 months ago
First Steps with a Rideable Computer
Although technologies such as head mounted displays and CAVEs can be used to provide large immersive visual displays within small physical spaces, it is difficult to provide virt...
Robert S. Allison, Laurence R. Harris, Michael Jen...
ECBS
2010
IEEE
209views Hardware» more  ECBS 2010»
15 years 2 months ago
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
Lucas Cordeiro, Bernd Fischer 0002, João Ma...
85
Voted
RTSS
1997
IEEE
15 years 2 months ago
Response-time guarantees in ATM networks
We present a method for providing response-time guarantees in Asynchronous Transfer Mode (ATM) networks. The method is based on traditional real-time CPU Response-Time Analysis (R...
Andreas Ermedahl, Hans Hansson, Mikael Sjödin