2944 search results - page 370 / 589 » On Well Quasi-orders on Languages |
157
click to vote
ICALP
2004
Springer
15 years 12 months ago
2004
Springer
In the information age, the availability of data on consumer profiles has opened new possibilities for companies to increase their revenue via data mining techniques. One approach...
183
click to vote
ICFEM
2004
Springer
15 years 12 months ago
2004
Springer
Iterative abstraction refinement has emerged in the last few years as the leading approach to software model checking. In this context Boolean programs are commonly employed as si...
153
click to vote
IFIP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract The computational proof model of Bellare and Rogaway for cryptographic protocol analysis is complemented by providing a formal specification of the actions of the adversa...
164
click to vote
IFIP
2004
Springer
15 years 12 months ago
2004
Springer
In IP-based wireless/mobile networks, minimizing handover latency is one of the most important issues. Fast handover mobile IPv6 (FMIPv6) reduces the handover latency by handover p...
157
click to vote
LCTRTS
2004
Springer
15 years 12 months ago
2004
Springer
We present a polynomial upper bound for flattening of UML statecharts. An efficient flattening technique is derived and implemented in SCOPE—a code generator targeting constra...