7452 search results - page 1084 / 1491 » A Semantics for Multiprocessor Systems |
202
click to vote
DSVIS
2005
Springer
16 years 12 days ago
2005
Springer
The calculus outlined in this paper provides a formal architectural framework for describing and reasoning about the properties of multi-user and mobile distributed interactive sys...
156
click to vote
FASE
2005
Springer
16 years 12 days ago
2005
Springer
MSC is a visual formalism for specifying the behavior of systems. To obtain implementations for individual processes, the MSC choice construction poses fundamental problems. The be...
183
click to vote
IJCNLP
2005
Springer
16 years 11 days ago
2005
Springer
This paper presents a supervised approach for relation extraction. We apply Support Vector Machines to detect and classify the relations in Automatic Content Extraction (ACE) corpu...
137
click to vote
ISI
2005
Springer
16 years 11 days ago
2005
Springer
Verification of legitimate access of documents, which is one aspect of the umbrella of problems in the Insider Threat category, is a challenging problem. This paper describes the r...
165
click to vote
ISSAC
2005
Springer
16 years 11 days ago
2005
Springer
This paper describes a method to use compiled, strongly typed Aldor domains in the interpreted, expression-oriented Maple environment. This represents a non-traditional approach t...