HASE
2002
IEEE
14 years 15 days ago
2002
IEEE
Web services received significant attention recently and several important web service platforms such as .NET are now available. The testing and evaluation of web services are imp...
HASE
2002
IEEE
14 years 15 days ago
2002
IEEE
The Japanese computer industry in 1990s was hit with two major shocks at the same time. One shock was the drastic reform of computers and of network. The other shock was from the ...
HASE
2002
IEEE
14 years 15 days ago
2002
IEEE
Web services might be the most popular and powerful software development technology in today’s software world. Yet it brings software developers and tester a lot of challenges a...
HASE
2002
IEEE
14 years 15 days ago
2002
IEEE
Components (in-house or pre-fabricated) are increasingly being used to reduce the cost of software development. Given that these components may not have not been developed with de...
HASE
2002
IEEE
14 years 15 days ago
2002
IEEE
HASE
2002
IEEE
14 years 15 days ago
2002
IEEE
We present two classes of distributed algorithms called DRBA and DOBA, for decentralized, proactive resource allocation in asynchronous real-time distributed systems. The objectiv...
DSN
2002
IEEE
14 years 15 days ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...
COMPSAC
2002
IEEE
14 years 15 days ago
2002
IEEE
When different business units of an international company are responsible for the development of different parts of a large system, a component-based software architecture may be ...
HICSS
2003
IEEE
14 years 25 days ago
2003
IEEE
It is now apparent that our nation’s infrastructures and essential utilities have been optimized for reliability in benign operating environments. As such, they are susceptible ...
FATES
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Railway control systems are timed and safety-critical. Testing these systems is a key issue. Prior to system testing, the software of a railway control system is tested s...