Sciweavers

4350 search results - page 243 / 870
» Case studies for contract-based systems
Sort
View
IWPC
2003
IEEE
15 years 12 months ago
Scaling an Object-Oriented System Execution Visualizer through Sampling
Increasingly, applications are being built by combining existing software components. For the most part, a software developer can treat components as black-boxes. However, for som...
Andrew Chan, Reid Holmes, Gail C. Murphy, Annie T....
BCSHCI
2007
15 years 8 months ago
Expert habits vs. UI improvements: re-design of a room booking system
This paper presents the results of a case study examining prototyping as a method in re-designing a user interface (UI). In the case presented, a web-based room booking was re-des...
Per A. Jonasson, Morten Fjeld, Aiko Fallas Yamashi...
CE
2008
89views more  CE 2008»
15 years 6 months ago
An intelligent e-learning system based on learner profiling and learning resources adaptation
Taking advantage of the continuously improving, web-based learning systems plays an important role for self-learning, especially in the case of working people. Nevertheless, learn...
Paraskevi K. Tzouveli, Phivos Mylonas, Stefanos D....
WICOMM
2010
91views more  WICOMM 2010»
15 years 5 months ago
A sensing-based cognitive coexistence method for interfering infrastructure and ad hoc systems
The rapid proliferation of wireless systems makes interference management more and more important. This paper presents a novel cognitive coexistence framework, which enables an in...
Stefan Geirhofer, Lang Tong, Brian M. Sadler
183
Voted
ICECCS
1998
IEEE
161views Hardware» more  ICECCS 1998»
15 years 11 months ago
A Method and a Technique to Model and Ensure Timeliness in Safety Critical Real-Time Systems
The main focus of this paper is the problem of ensuring timeliness in safety critical systems. First, we introduce a method and its associated technique to model both real-time ta...
Christophe Aussaguès, Vincent David