2748 search results - page 301 / 550 » Generating Object-Z Specifications from Use Cases |
108
click to vote
ISMVL
2002
IEEE
15 years 9 months ago
2002
IEEE
We present the role that spectral methods play in the development of the most impressive quantum algorithms, such as the polynomial time number factoring algorithm by Shor. While ...
129
click to vote
KIVS
1997
Springer
15 years 8 months ago
1997
Springer
The object model is a very popular paradigm for building distributed applications. Several standardisation efforts are underway that define architectures for distributed computing...
149
click to vote
SNPD
2008
15 years 5 months ago
2008
With the increasing number of medical devices and of accidents resulting from them being used in isolation in a hectic operating room, there is a trend towards integrating such de...
140
click to vote
AAAI
2004
15 years 5 months ago
2004
We present an efficient approach to adding soft constraints, in the form of preferences, to Disjunctive Temporal Problems (DTPs) and their subclass Temporal Constraint Satisfactio...
157
click to vote
FORTE
2004
15 years 5 months ago
2004
This paper describes the tool CASPA, a new performance evaluation tool which is based on a Markovian stochastic process algebra. CASPA uses multi-terminal binary decision diagrams ...