Sciweavers

5465 search results - page 94 / 1093
» Assigning Types to Processes
Sort
View
JLP
2008
134views more  JLP 2008»
14 years 10 months ago
Backwards type analysis of asynchronous method calls
Asynchronous method calls have been proposed to better integrate object orientation with distribution. In the Creol language, asynchronous method calls are combined with so-called...
Einar Broch Johnsen, Ingrid Chieh Yu
CICLING
2003
Springer
15 years 3 months ago
Per-node Optimization of Finite-State Mechanisms for Natural Language Processing
Finite-state processing is typically based on structures that allow for efficient indexing and sequential search. However, this “rigid” framework has several disadvantages when...
Alexander Troussov, Brian O'Donovan, Seppo Koskenn...
ICCVG
2010
14 years 11 months ago
Visual Codebooks Survey for Video On-Line Processing
Abstract. This paper explores techniques in the pipeline of image description based on visual codebooks suitable for video on-line processing. The pipeline components are (i) extra...
Vítezslav Beran, Pavel Zemcík
IFIP
2005
Springer
15 years 3 months ago
Type-Based Distributed Access Control vs. Untyped Attackers
This paper considers the effect of untyped attackers inside a distributed system where security is enforced by the type system. In previous work we introduced the Key-Based Decentr...
Tom Chothia, Dominic Duggan
WECWIS
2008
IEEE
361views ECommerce» more  WECWIS 2008»
15 years 4 months ago
How to Describe Workflow Information Systems to Support Business Process
This paper addresses a methodology for developing the various user interfaces (UI) of a workflow information system (WIS), which are advocated to automate business processes, foll...
Josefina Guerrero García, Jean Vanderdonckt...