2748 search results - page 133 / 550 » Generating Object-Z Specifications from Use Cases |
91
Voted
FLAIRS
1998
15 years 1 months ago
1998
Providing assurances of performance is an important aspect of successful development and commercialization of expert systems. However, this can only be done if the quality of the ...
101
Voted
ALMOB
2007
15 years 20 days ago
2007
Background: The optimal score for ungapped local alignments of infinitely long random sequences is known to follow a Gumbel extreme value distribution. Less is known about the imp...
118
Voted
OPODIS
2010
14 years 10 months ago
2010
Paxos is a well known algorithm for achieving consensus in distributed environments with uncertain processing and communication timing. Implementations of its variants have been s...
95
Voted
TPDS
1998
15 years 5 days ago
1998
—The way the processes in a parallel program are scheduled on the processors of a multiprocessor system affects the performance significantly. Finding a schedule of processes to ...
99
Voted
NGC
2006
Springer
15 years 14 days ago
2006
Springer
Abstract This paper presents an application that automatically generates basic stories: short texts that only narrate the main events of the plot. The system operates with a repres...