3688 search results - page 402 / 738 » Static analysis of aspects |
171
click to vote
ACL
2001
15 years 8 months ago
2001
In a headed tree, each terminal word can be uniquely labeled with a governing word and grammatical relation. This labeling is a summary of a syntactic analysis which eliminates de...
172
click to vote
SIS
2004
15 years 8 months ago
2004
In this paper we outline a new process model for security engineering. This process model extends object oriented, use case driven software development by the systematic treatment ...
161
click to vote
TREC
2003
15 years 8 months ago
2003
Our aim of participating in this year’s High Accuracy Retrieval from Documents (HARD) track is to explore the possibility of developing an automated HARD retrieval model by leve...
171
click to vote
IWFM
1998
15 years 8 months ago
1998
In this paper we suggest methods to aid the development of specifications using the B method. We propose an objectoriented approach to specification, developing the structure thro...
164
click to vote
ICPR
2010
IEEE
15 years 7 months ago
2010
IEEE
Recent advances in pattern recognition has allowed computer scientists and psychologists to jointly address automatic analysis of of human behavior via computers. The Workshop on H...