4737 search results - page 716 / 948 » The LOGIC negotiation model |
181
click to vote
FOCS
2005
IEEE
16 years 26 days ago
2005
IEEE
The automata-theoretic approach is one of the most fundamental approaches to developing decision procedures in mathematical logics. To decide whether a formula in a logic with the...
207
click to vote
HICSS
2005
IEEE
16 years 26 days ago
2005
IEEE
While dedicated technologies such as e.g., Sun’s J2ME MIDP offer a simple programming model for mobile applications, appropriate support for modularizing the implementation of t...
213
click to vote
TIME
2005
IEEE
16 years 24 days ago
2005
IEEE
Historical information can be effectively preserved using XML and searched through powerful historical queries written in XQuery. Indeed, by storing the successive versions of a d...
210
click to vote
VLSID
2005
IEEE
16 years 24 days ago
2005
IEEE
During pseudorandom testing, a significant amount of energy and test application time is wasted for generating and for applying “useless” test vectors that do not contribute t...
201
click to vote
WWW
2005
ACM
16 years 24 days ago
2005
ACM
In recent years, many algorithms for the Web have been developed that work with information units distinct from individual web pages. These include segments of web pages or aggreg...