285 search results - page 22 / 57 » Dynamic Symbolic Execution for Testing Distributed Objects |
128
click to vote
CAINE
2001
15 years 3 months ago
2001
In this paper, we describe the theoretical framework that allows us to use of the expert system shell CLIPS to define the network model in the Distribution Management System (DMS)...
155
click to vote
CVPR
2003
IEEE
16 years 3 months ago
2003
IEEE
Monitoring activities using video data is an important surveillance problem. A special scenario is to learn the pattern of normal activities and detect abnormal events from a very...
129
click to vote
COMPSAC
1998
IEEE
15 years 5 months ago
1998
IEEE
Distributed real-time applications have presented the need to extend the Object Management Group's OMG Common Object Request Broker Architecture CORBA standard to support rea...
102
click to vote
JNW
2006
15 years 1 months ago
2006
A number of Integer Linear Program (ILP) formulations for both static and dynamic lightpath allocation have been proposed, for the design of survivable WDM networks. However, such ...
137
click to vote
FORTE
2003
15 years 2 months ago
2003
Abstract. In this paper, we propose a testing method for QoS functions in distributed multi-media systems, where we test whether playback of media objects is correctly implemented ...