15253 search results - page 2829 / 3051 » Integer-Programming Software Systems |
142
Voted
ACMACE
2008
ACM
15 years 5 months ago
2008
ACM
This paper describes an authoring language for specifying communicative behavior and interaction of agents in virtual worlds. We focus on the popular three-dimensional (3D) multi-...
118
Voted
ACSAC
2008
IEEE
15 years 5 months ago
2008
IEEE
Access control policies are often specified in declarative languages. In this paper, we propose a novel approach, called mutation verification, to assess the quality of properties...
130
Voted
AIRWEB
2008
Springer
15 years 5 months ago
2008
Springer
Combating Web spam has become one of the top challenges for Web search engines. State-of-the-art spam detection techniques are usually designed for specific known types of Web spa...
132
Voted
ASPLOS
2008
ACM
15 years 5 months ago
2008
ACM
We explore the extent to which newly available CPU-based security technology can reduce the Trusted Computing Base (TCB) for security-sensitive applications. We find that although...
117
click to vote
ASSETS
2008
ACM
15 years 5 months ago
2008
ACM
The Flote is a wind instrument designed for people with limited mobility. Past work in this area has failed to deliver the musical expressiveness expected of an instrument while m...