9443 search results - page 1665 / 1889 » Web-centric language models |
196
click to vote
WISE
2008
Springer
16 years 28 days ago
2008
Springer
Rich Internet Applications (RIAs) are quickly becoming the de facto standard for interactive web applications on the Internet, featuring rich interfaces that increase user usabilit...
177
click to vote
SEUS
2007
IEEE
16 years 25 days ago
2007
IEEE
Java is now considered as a language for the domain of safety critical applications. A restricted version of the Real-Time Specification for Java (RTSJ) is currently under develop...
185
click to vote
TASE
2007
IEEE
16 years 25 days ago
2007
IEEE
Telco services are evolving under several aspects: for instance, services may combine different telecommunication features (messaging, multi-media, etc.) and may be activated and...
170
click to vote
B
2007
Springer
16 years 23 days ago
2007
Springer
Symmetry reduction is an established method for limiting the amount of states that have to be checked during exhaustive model checking. The idea is to only verify a single represen...
167
click to vote
CP
2007
Springer
16 years 22 days ago
2007
Springer
It has been widely observed that there is no “dominant” SAT solver; instead, different solvers perform best on different instances. Rather than following the traditional appr...