3664 search results - page 595 / 733 » Language Technology for eLearning |
151
click to vote
IRI
2006
IEEE
16 years 11 days ago
2006
IEEE
: Data integrity of web resources is becoming more and more important with the increasing development of Internet. In the context of active intermediaries, current solution for dat...
164
click to vote
ITNG
2006
IEEE
16 years 10 days ago
2006
IEEE
Web services are key applications in business-to-business, business-to-customer, and enterprise applications integration solutions. As the mobile Internet becomes one of the main ...
188
click to vote
MTV
2006
IEEE
16 years 10 days ago
2006
IEEE
Simulation-based validation of the current industrial processors typically use huge number of test programs generated at instruction set architecture (ISA) level. However, archite...
170
click to vote
RTAS
2006
IEEE
16 years 10 days ago
2006
IEEE
Distributed hard real-time systems require guaranteed communication. One common approach is to restrict network access by enforcing a time-division multiple access (TDMA) schedule...
163
click to vote
TAICPART
2006
IEEE
16 years 10 days ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...