2204 search results - page 27 / 441 » Analyzing architectural styles |
127
click to vote
WWW
2006
ACM
16 years 2 months ago
2006
ACM
The mechanisms for personalisation used in web applications are currently the subject of much debate amongst researchers from many diverse subject areas. One of the most contempor...
IWSSD
2000
IEEE
15 years 6 months ago
2000
IEEE
A good architecture is a necessary condition to guarantee that the expected levels of performance, availability, fault tolerance, and scalability are achieved by the implemented s...
IEEEARES
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper describes the design and implementation of a lightweight static security analyzer that exploits the compilation process of the gcc compiler. The tool is aimed at giving...
120
click to vote
CHARME
2003
Springer
15 years 6 months ago
2003
Springer
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
105
click to vote
HRI
2006
ACM
15 years 7 months ago
2006
ACM
There is growing interest in mining the world of video games to find inspiration for human-robot interaction (HRI) design. This paper segments video game interaction into domain-i...