7681 search results - page 128 / 1537 » Typed Membrane Systems |
209
click to vote
CONCUR
2000
Springer
15 years 11 months ago
2000
Springer
We describe a general model for embedding object-oriented constructs into calculi of mobile agents. The model results from extending agents with methods and primitives for message ...
167
click to vote
FPCA
1995
15 years 10 months ago
1995
A number of useful optimisations are enabled if we can determine when a value is accessed at most once. We extend the Hindley-Milner type system with uses, yielding a typeinferenc...
192
click to vote
COLING
2008
15 years 8 months ago
2008
Many reordering approaches have been proposed for the statistical machine translation (SMT) system. However, the information about the type of source sentence is ignored in the pr...
244
click to vote
SIGMOD
2008
ACM
16 years 7 months ago
2008
ACM
Data management lies at the core of most modern information technology deployments. Accordingly, the reliability of the database management system (DBMS) is critical to the reputa...
169
click to vote
CCS
2004
ACM
16 years 8 days ago
2004
ACM
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...