3688 search results - page 486 / 738 » Static analysis of aspects |
145
click to vote
TGC
2007
Springer
16 years 24 days ago
2007
Springer
Web service instances are often replicated to allow service provision to scale to support larger population sizes of users. However, such systems are difficult to analyse because t...
218
click to vote
VLDB
2007
ACM
16 years 24 days ago
2007
ACM
The recent upsurge in the interest in Semantic Web services and the high-profile projects such as the WSMO, OWLS, and SWSL, have drawn attention to the importance of logic-based ...
167
click to vote
ANSS
2006
IEEE
16 years 23 days ago
2006
IEEE
Selecting the right numerical solver or the most appropriate numerical package for a particular simulation problem it is increasingly difficult for users without an extensive math...
190
click to vote
FDL
2006
IEEE
16 years 23 days ago
2006
IEEE
To ensure correctness and performance of real-time embedded systems, early evaluation of properties is needed. Based on design experience for real-time systems and using the conce...
177
click to vote
HAPTICS
2006
IEEE
16 years 23 days ago
2006
IEEE
This paper presents a new soft-finger haptic rendering algorithm based on the concept of limit curve which was previously used by the robotic manipulation community to study slid...