Sciweavers

16504 search results - page 396 / 3301
» New Problems, New Solutions
Sort
View
FM
2003
Springer
107views Formal Methods» more  FM 2003»
16 years 2 days ago
Verifying Emulation of Legacy Mission Computer Systems
Processor obsolescence is a serious maintenance problem for long-lived embedded control systems. A practical solution is to interpose an emulator program between the ‘legacy’ s...
Colin J. Fidge
ICPPW
2002
IEEE
15 years 11 months ago
System Services for Implementing Ad-Hoc Routing Protocols
This paper explores several systems issues regarding the implementation of routing protocols for mobile ad-hoc networks. It proclaims that support for on-demand routing is insuf...
Vikas Kawadia, Yongguang Zhang, Binita Gupta
IWDC
2001
Springer
15 years 11 months ago
A Study on QoS Provision for IP-Based Radio Access Networks
The fast adoption of IP-based communications for hand-held devices equipped with wireless interfaces is creating new challenges for the Internet evolution. Users expect flexible ac...
Alberto López Toledo, Jukka Manner, Andrej ...
OOPSLA
1997
Springer
15 years 11 months ago
Query-Based Debugging of Object-Oriented Programs
Object relationships in modern software systems are becoming increasingly numerous and complex. Programmers who try to find violations of such relationships need new tools that al...
Raimondas Lencevicius, Urs Hölzle, Ambuj K. S...
176
Voted
SCS
2001
15 years 8 months ago
Extending and Evaluating a Pattern Language for Safety-Critical User Interfaces
This paper describes the extension and evaluation of Hussey's pattern language for safety-critical user interface development [Hussey and Mahemoff, 1999]. The patterns were u...
Simon Connelly, Jay Burmeister, Anthony MacDonald,...