2933 search results - page 73 / 587 » Agent-Grid Integration Language |
157
click to vote
UM
2001
Springer
15 years 10 months ago
2001
Springer
In this paper, we suggest an integrated architecture that makes use of the objective-technical information provided by the designer and the subjectiveperceptual information supplie...
201
click to vote
PRDC
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper reports our experience on the development of a design-for-safety (DFS) workbench called Risk Assessment and Management Environment (RAME) for microelectronic avionics s...
155
click to vote
FMCAD
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Termination poses one of the main challenges for mechanically verifying infinite state systems. In this paper, we develop a powerful and extensible framework based on th...
153
click to vote
NLPRS
2001
Springer
15 years 10 months ago
2001
Springer
This paper proposes a method to resolve Japanese zero pronouns by identifying their antecedents. Our method uses a probabilistic model, which is decomposed into syntactic and sema...
173
click to vote
IAJIT
2008
15 years 6 months ago
2008
: UML currently still lacks a rigorously defined semantics for its models, which makes formally analyzing a model and verifying its properties extremely difficult. To remedy that, ...