7452 search results - page 1128 / 1491 » A Semantics for Multiprocessor Systems |
169
click to vote
CONCUR
2004
Springer
16 years 6 days ago
2004
Springer
We define a language whose type system, incorporating session types, allows complex protocols to be specified by types and verified by static typechecking. A session type, asso...
181
click to vote
ESOP
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. We present PacLang: an imperative, concurrent, linearlytyped language designed for expressing packet processing applications. PacLang’s linear type system ensures that ...
176
click to vote
PROMAS
2004
Springer
16 years 4 days ago
2004
Springer
In this paper, we propose a framework for modelling agent organizations, Omni, that allows the balance of global organizational requirements with the autonomy of individual agents....
199
click to vote
FTDCS
2003
IEEE
16 years 3 days ago
2003
IEEE
The exponential data growth rate of the Internet makes it increasingly difficult for people to find desired information in a timely fashion. Information filtering and dissemina...
186
click to vote
ICDAR
2003
IEEE
16 years 3 days ago
2003
IEEE
There have been recent improvements in document technologies like the standardization of object interfaces to access and manipulate the properties of web documents. There has also...