6800 search results - page 796 / 1360 » Testing with Functions as Specifications |
211
click to vote
WETICE
2005
IEEE
16 years 18 days ago
2005
IEEE
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...
209
click to vote
AIED
2005
Springer
16 years 18 days ago
2005
Springer
Intelligent Tutoring Systems are notoriously costly to construct [1], and require PhD level experience in cognitive science and rule based programming. The goal of this research wa...
167
click to vote
AIRS
2005
Springer
16 years 18 days ago
2005
Springer
Topic distillation is one of the main information needs when users search the Web. In previous approaches to topic distillation, the single page was treated as the basic searching ...
177
click to vote
DIGRA
2005
Springer
16 years 17 days ago
2005
Springer
Interactive story writing is a new medium for creative expression. The story “writer” uses a computer game (such as BioWare’s Neverwinter Nights) to create an interactive st...
161
click to vote
ICCNMC
2005
Springer
2005
Springer
Simplified Message Transformation for Optimization of Message Processing in 3G-324M Control Protocol
16 years 17 days ago
3G-324M is a multimedia transmission protocol designed for 3G communication environment. Meanwhile H.245 standard is a control protocol in 3G-324M and gives specific descriptions a...