Sciweavers

8644 search results - page 344 / 1729
» On the Composition of Secure Systems
Sort
View
183
Voted
SAM
2004
98views Hardware» more  SAM 2004»
15 years 8 months ago
Scenario Synthesis from Imprecise Requirements
Discovering faults in requirements specifications for distributed reactive systems is a challenging problem since many issues that need to be uncovered are a result of subtle compo...
Bill Mitchell, Robert Thomson, Paul Bristow
185
Voted
COLING
1996
15 years 8 months ago
Processing Metonymy- a Domain-Model Heuristic Graph Traversal Approach
We address here the treatment of metonymic expressions from a knowledge representation perspective, that is, in the context of a text understanding system which aims to build a co...
Jacques Bouaud, Bruno Bachimont, Pierre Zweigenbau...
EACL
1989
ACL Anthology
15 years 8 months ago
An Approach To Sentence-Level Anaphora In Machine Translation
Theoretical research in the area of machine translation usually involves the search for and creation of an appropriate formalism. An important issue in this respect is the way in ...
Gertjan van Noord, Joke Dorrepaal, Doug Arnold, St...
204
Voted
ESIAT
2009
IEEE
15 years 4 months ago
Research and Realization of Geospatial Information Service Orchestration Based on BPEL
Geospatial information services composition is a promising approach to construct complex Web GIS applications. BPEL, which is the language and the industry standard that expresses ...
Xiaoliang Meng, Fuling Bian, Yichun Xie
ACSAC
2009
IEEE
16 years 1 months ago
Semantically Rich Application-Centric Security in Android
—Smartphones are now ubiquitous. However, the security requirements of these relatively new systems and the applications they support are still being understood. As a result, the...
Machigar Ongtang, Stephen E. McLaughlin, William E...