12774 search results - page 2341 / 2555 » A Framework for Proof Systems |
193
click to vote
JFR
2007
15 years 6 months ago
2007
In this paper, we report on the integration challenges of the various component technologies developed towards the establishment of a framework for deploying an adaptive system of...
175
click to vote
CG
2005
Springer
15 years 6 months ago
2005
Springer
In Chinese calligraphy cao shu is regarded as a kind of free form art which differs from other styles greatly in its less constrained strokes and brush textures. In this paper we ...
166
click to vote
TPDS
2008
15 years 6 months ago
2008
Voice over IP (VoIP), also known as Internet telephony, is gaining market share rapidly and now competes favorably as one of the visible applications of the Internet. Nevertheless,...
204
click to vote
TPDS
2008
15 years 6 months ago
2008
Security is increasingly becoming an important issue in the design of real-time parallel applications, which are widely used in the industry and academic organizations. However, ex...
181
click to vote
JIRS
2007
15 years 6 months ago
2007
A detailed step-by-step approach is presented to optimize, standardize, and automate the process of unmanned vehicle controller design, evaluation, validation and verification, fol...