1534 search results - page 262 / 307 » Error Reporting Logic |
IJFCS
2006
13 years 10 months ago
2006
The outcome of verifying software is often a `counterexample', i.e., a listing of the actions and states of a behavior not satisfying the specification. In order to understan...
JLP
2008
13 years 9 months ago
2008
Asynchronous method calls have been proposed to better integrate object orientation with distribution. In the Creol language, asynchronous method calls are combined with so-called...
JNW
2008
13 years 9 months ago
2008
When replace railway interlocking devices, setting up of large number of signal cables and confirming of wiring connections are required. So, it is worried that serious transport d...
ML
2008
ACM
13 years 9 months ago
2008
ACM
Abstract We present a new margin-based approach to first-order rule learning. The approach addresses many of the prominent challenges in first-order rule learning, such as the comp...
JSW
2007
13 years 9 months ago
2007
— BPEL (Business Process Execution Language) as a de-facto standard for web service orchestration has drawn particularly attention from researchers and industries. BPEL is a semi...