7066 search results - page 352 / 1414 » Contact Relations with Applications |
161
click to vote
COLING
2002
15 years 6 months ago
2002
An unsupervised method for word sense disambiguation using a bilingual comparable corpus was developed. First, it extracts statistically significant pairs of related words from th...
180
click to vote
KBSE
2005
IEEE
16 years 11 days ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
206
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
The specifications of an application's security configuration are crucial for understanding its security policies, which can be very helpful in security-related contexts such...
188
click to vote
OSDI
1996
ACM
15 years 8 months ago
1996
ACM
Today's extensible operating systems allow applications to modify kernel behavior by providing mechanisms for application code to run in the kernel address space. The advanta...
160
click to vote
FGCS
2006
15 years 6 months ago
2006
This work introduces a method for instrumenting applications, producing execution traces, and visualizing multiple trace instances to identify performance features. The approach p...