6201 search results - page 248 / 1241 » Implementation of Axiomatic Language |
152
click to vote
EEE
2005
IEEE
15 years 11 months ago
2005
IEEE
Currently negotiation covers a huge and unstructured domain of negotiation- and coordination protocols and associated strategies. Researchers and practitioners like system enginee...
173
click to vote
ICDAR
2005
IEEE
15 years 11 months ago
2005
IEEE
The table recognition literature contains many strategies specified informally as a sequence of operations, obscuring both models of table structure and the effects of individual...
148
click to vote
BIRTHDAY
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. State-of-the-art proof presentation systems suffer from several deficiencies. First, they simply present the proofs without motivating why the proof is done as it is do...
160
click to vote
EUROPAR
2005
Springer
15 years 11 months ago
2005
Springer
Nested-parallelism programming models, where the task graph associated to a computation is series-parallel, present good analysis properties that can be exploited for scheduling, c...
130
click to vote
OTM
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In a service-oriented world, a long-running business process can be implemented as a set of stateful services that represent the individual but coordinated steps that mak...