3868 search results - page 595 / 774 » Open Systems in TLA |
161
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
The Web 2.0 fosters the creation of communities by offering users a wide array of social software tools. While the success of these tools is based on their ability to support diff...
190
click to vote
ESORICS
2009
Springer
16 years 1 months ago
2009
Springer
Recent enhancements in location technologies reliability and precision are fostering the development of a new wave of applications that make use of the location information of user...
150
click to vote
ESORICS
2009
Springer
16 years 1 months ago
2009
Springer
The proliferation of mobile devices has given rise to novel user-centric applications and services. In current mobile systems, users gain access to remote servers over mobile netwo...
171
click to vote
FOSSACS
2009
Springer
16 years 1 months ago
2009
Springer
Higher-order recursion schemes are systems of rewrite rules on typed non-terminal symbols, which can be used to define infinite trees. The Global Modal Mu-Calculus Model Checking...
148
click to vote
CSMR
2009
IEEE
16 years 1 months ago
2009
IEEE
It is important to focus on security aspects during the development cycle to deliver reliable software. However, locating security faults in complex systems is difficult and ther...