1407 search results - page 77 / 282 » Using Use Cases in Executable Z |
117
click to vote
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
We present the ParAL system which compiles Matlab scripts into C programs with calls to a parallel run-time library. The novel feature of the compiler is the optimisation of array...
125
click to vote
FM
1999
Springer
15 years 8 months ago
1999
Springer
Timed Communicating Object Z (TCOZ) combines Object-Z's strengths in modeling complex data and algorithms with Timed CSP's strengths in modeling real-time concurrency. TC...
179
click to vote
AAAI
2010
15 years 5 months ago
2010
Large scale ontology applications require efficient and robust description logic (DL) reasoning services. Expressive DLs usually have very high worst case complexity while tractab...
129
click to vote
IJRR
2008
15 years 4 months ago
2008
Abstract. In the world of living creatures, "simple minded" animals often cooperate to achieve common goals with amazing performance. One can consider this idea in the co...
109
click to vote
MOC
1998
15 years 3 months ago
1998
Consider the system of Diophantine equations x2 − ay2 = b, P (x, y) = z2, where P is a given integer polynomial. Historically, such systems have been analyzed by using Baker’s ...