2205 search results - page 243 / 441 » Mutation Operators for Specifications |
117
click to vote
CSCW
2002
ACM
2002
ACM
A new dimension in access control: studying maintenance engineering across organizational boundaries
15 years 3 months ago
Inter-organizational cooperation has specific requirements for access control. The paper presents the results from a field study which looks at the cooperation between two enginee...
101
click to vote
IJDAR
2000
15 years 3 months ago
2000
Our proposed approach to text and line-art extraction requires accurately locating a text-string box and identifying external line vectors incident on the box. The results of extra...
125
click to vote
EL
2002
15 years 3 months ago
2002
The traditional target of computer game security is mainly copy protection. The emergence of online games fundamentally changes the security requirements for computer games. Althou...
251
click to vote
ENTCS
2002
15 years 3 months ago
2002
Elf is a general meta-language for the specification and implementation of logical systems in the style of the logical framework LF. Proof search in this framework is based on the...
108
click to vote
TKDE
2002
15 years 3 months ago
2002
Materialization is a powerful and ubiquitous abstraction pattern for conceptual modeling that relates a class of categories (e.g., models of cars) and a class of more concrete obje...