450 search results - page 90 / 90 » Foundations of a new software engineering method for real-ti... |
CLEF
2007
Springer
13 years 11 months ago
2007
Springer
In our participation in this CLEF evaluation campaign, the first objective is to propose and evaluate various indexing and search strategies for the Czech language in order to hop...
CLEF
2005
Springer
13 years 11 months ago
2005
Springer
For the 2005 Cross-Language Evaluation Forum, Thomson Legal and Regulatory participated in the Hungarian, French, and Portuguese monolingual search tasks as well as French-to-Port...
CCS
2008
ACM
13 years 7 months ago
2008
ACM
In the Horn theory based approach for cryptographic protocol analysis, cryptographic protocols and (Dolev-Yao) intruders are modeled by Horn theories and security analysis boils d...
SAC
2008
ACM
13 years 4 months ago
2008
ACM
This paper introduces an approach to develop componentbased adaptive distributed applications. Our approach separates the communication and the functional aspects of a distributed...
CG
2005
Springer
13 years 5 months ago
2005
Springer
OpenGL is the industry-leading, cross-platform graphics application programming interface (API), and the only major API with support for virtually all operating systems. Many lang...