2748 search results - page 536 / 550 » Generating Object-Z Specifications from Use Cases |
BMCBI
2008
14 years 11 months ago
2008
Background: Previous studies comparing quantitative proteomics and microarray data have generally found poor correspondence between the two. We hypothesised that this might in par...
121
click to vote
JAR
2000
14 years 11 months ago
2000
Cryptographic algorithms play a key role in computer security and the formal analysis of their robustness is of utmost importance. Yet, logic and automated reasoning tools are seld...
ICRA
2003
IEEE
15 years 5 months ago
2003
IEEE
- This paper presents a third-order spline interpolation based trajectory planning method which is aiming to achieve smooth biped swing leg trajectory by reducing the instant veloc...
PARCO
1997
15 years 1 months ago
1997
This article is devoted to the run-time redistribution of arrays that are distributed in a blockcyclic fashion over a multidimensional processor grid. While previous studies have ...
141
click to vote
VTC
2006
IEEE
15 years 5 months ago
2006
IEEE
— The estimation of correct triggers for handover in cellular networks belongs to the critical tasks for accurate network operation. The importance of seamless handover even rise...