6618 search results - page 1084 / 1324 » Natural Logic for Natural Language |
179
click to vote
MODELS
2007
Springer
16 years 25 days ago
2007
Springer
This report summarizes the results and discussions from the 11th Workshop on Aspect-Oriented Modeling (AOM). The workshop was held in conjunction with the International Conference ...
192
Voted
MODELS
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. We present ModHel’X, an approach to multi-formalism modeling which addresses two important issues in this field: (a) providing support for the specification of the se...
155
click to vote
SAS
2007
Springer
16 years 24 days ago
2007
Springer
We present a new pointer analysis for use in shared memory programs running on hierarchical parallel machines. The analysis is motivated by the partitioned global address space lan...
169
click to vote
ASPLOS
2006
ACM
16 years 20 days ago
2006
ACM
Security has been considered as an important issue in processor design. Most of the existing mechanisms address security and integrity issues caused by untrusted main memory in si...
170
click to vote
CSFW
2005
IEEE
16 years 9 days ago
2005
IEEE
This paper introduces the use of static information flow analysis for the specification and enforcement of end-toend availability policies in programs. We generalize the decentr...