2958 search results - page 185 / 592 » Extending and Implementing RASP |
ICFEM
2009
Springer
14 years 4 months ago
2009
Springer
Coinductive proofs of behavioral equivalence often require human ingenuity, in that one is expected to provide a “good” relation extending one’s goal with additional lemmas, ...
HICSS
2007
IEEE
14 years 4 months ago
2007
IEEE
With the recent advances in mobile technologies and infrastructures, citizens start to demand for not just mobile but also ubiquitous access to e-government services. Further with...
ICC
2007
IEEE
14 years 4 months ago
2007
IEEE
—Extensible software-based routers running on commodity off-the-shelf hardware and open-source operating systems have been motivated by the progress in hardware technologies and ...
ESOP
2007
Springer
14 years 4 months ago
2007
Springer
Negation is intrinsic to human thinking and most of the time when searching for something, we base our patterns on both positive and negative conditions. In a previous work, we hav...
AH
2006
Springer
14 years 4 months ago
2006
Springer
The design of Web applications traditionally relies heavily on the navigation design. The Web as it evolves now brings additional design concerns, such as omni-presence, device-dep...