6656 search results - page 397 / 1332 » Change, Change, Change: Three Approaches |
228
Voted
SIGSAND
2008
15 years 8 months ago
2008
: The emerging technology complex event processing can be utilized to integrate complex events into business processes and to flexibly adjust processes on changing business require...
172
click to vote
IWFM
1998
15 years 8 months ago
1998
In this paper we suggest methods to aid the development of specifications using the B method. We propose an objectoriented approach to specification, developing the structure thro...
229
Voted
DAGSTUHL
2009
15 years 8 months ago
2009
To operate reliably in environments where interaction with an operator is infrequent or undesirable, an autonomous system should be capable of both determining how to achieve its ...
189
Voted
FAC
2008
15 years 7 months ago
2008
We describe our experiences in mechanising the specification, refinement, and proof of the Mondex Electronic Purse using the Z/Eves theorem prover. We took a conservative approach ...
123
click to vote
CSDA
2006
15 years 6 months ago
2006
Huber's M-estimation technique is applied to a block-angular regression problem, which may arise from some applications. A recursive, modified Newton approach to computing th...