1975 search results - page 74 / 395 » Property analysis and design understanding |
182
click to vote
GD
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. As the number of devices connected to the internet continues to grow rapidly and software systems are being increasingly deployed on the web, security and privacy have be...
144
click to vote
CHI
2004
ACM
16 years 6 months ago
2004
ACM
Currently there is a lack of explicit theories and few detailed guidelines to support the development of Mixed Reality (MR) technology and its varied applications. This research f...
191
click to vote
JSW
2006
15 years 6 months ago
2006
Abstract-- Leveraging service oriented programming paradigm would significantly affect the way people build software systems. However, to achieve this goal a solid software design ...
179
click to vote
WINET
2002
15 years 5 months ago
2002
Abstract. Fair queueing in the wireless domain poses significant challenges due to unique issues in the wireless channel such as locationdependent and bursty channel errors. In thi...
173
click to vote
ICWE
2007
Springer
16 years 4 days ago
2007
Springer
: In this work we report our experience in applying model checking techniques to the analysis of static and dynamic properties of Web application models. We propose a mix of tools ...