6047 search results - page 756 / 1210 » Modeling with Extend |
160
click to vote
LICS
2003
IEEE
16 years 5 days ago
2003
IEEE
We provide a method for deciding the insecurity of cryptographic protocols in presence of the standard Dolev-Yao intruder (with a finite number of sessions) extended with so-call...
159
click to vote
WISE
2003
Springer
16 years 5 days ago
2003
Springer
— Movement, or mobility, is key to the accessibility, design, and usability of many websites. While some peripheral mobility issues have been addressed few have centered on the m...
199
click to vote
WISE
2003
Springer
16 years 5 days ago
2003
Springer
Service-Oriented Computing (SOC) is the computing paradigm that utilizes services as fundamental elements for developing applications/solutions. To build the service model, SOC re...
138
click to vote
CAISE
2003
Springer
16 years 4 days ago
2003
Springer
Database modeling is still a job of an artisan. Due to this approach database schemata evolve by growth without any evolution plan. Finally, they cannot be examined, surveyed, cons...
178
click to vote
FIDJI
2003
Springer
16 years 3 days ago
2003
Springer
– This paper presents a Java service platform for mobile healthcare that enables remote health monitoring using 2.5/3G public wireless networks. The platform complies with today...