2757 search results - page 138 / 552 » On separating systems |
163
click to vote
SAC
2000
ACM
15 years 8 months ago
2000
ACM
Linda is a high level communication model which allows agents to communicate via a shared tuple spaces without knowing each other’s identities and without having to arrange for ...
120
click to vote
SAC
2010
ACM
15 years 6 months ago
2010
ACM
Service-oriented architecture (SOA) is a relatively new approach to software system development. It divides system functionality to independent, loosely coupled, interoperable ser...
145
click to vote
SIGMOD
2010
ACM
15 years 4 months ago
2010
ACM
The performance of a database system depends strongly on the layout of database objects, such as indexes or tables, onto the underlying storage devices. A good layout will both ba...
132
click to vote
SIGOPS
2008
15 years 4 months ago
2008
The Caernarvon operating system was developed to demonstrate that a high assurance system for smart cards was technically feasible and commercially viable. The entire system has b...
215
click to vote
POPL
2004
ACM
16 years 4 months ago
2004
ACM
In the interest of designing a recursive module extension to ML that is as simple and general as possible, we propose a novel type system for general recursion over effectful expr...