7452 search results - page 1084 / 1491 » A Semantics for Multiprocessor Systems |
228
Voted
DSVIS
2005
Springer
16 years 1 months 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...
183
Voted
FASE
2005
Springer
16 years 1 months 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...
215
Voted
IJCNLP
2005
Springer
16 years 1 months 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...
157
Voted
ISI
2005
Springer
16 years 1 months 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...
192
Voted
ISSAC
2005
Springer
16 years 1 months 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...