2527 search results - page 377 / 506 » Aging in language dynamics |
176
click to vote
PDCAT
2005
Springer
16 years 13 days ago
2005
Springer
In this paper, we propose a security management middleware in ubiquitous computing environments. This security management should be applicationoriented security and provides user-...
186
Voted
SIGIR
2004
ACM
16 years 11 days ago
2004
ACM
Abstract. Today, peer-to-peer services can comprise a large and growing number of services, e.g. search services or services dealing with heterogeneous schemas in the context of Di...
188
click to vote
CONCUR
2004
Springer
16 years 10 days ago
2004
Springer
We present a trace semantics for a language of parallel programs which share access to mutable data. We introduce a resource-sensitive logic for partial correctness, based on a re...
154
click to vote
EWSA
2004
Springer
16 years 10 days ago
2004
Springer
Abstract. Software architectures are engineering artifacts which provide high-level descriptions of complex systems. Certain recent architecture description languages (Adls) allow ...
173
Voted
IFIP
2004
Springer
16 years 9 days ago
2004
Springer
A term terminates if all its reduction sequences are of finite length. We show four type systems that ensure termination of well-typed π-calculus processes. The systems are obtai...