6527 search results - page 979 / 1306 » On Typing Information Flow |
211
click to vote
CAISE
2004
Springer
16 years 29 days ago
2004
Springer
This paper outlines an ontology for characterising architecture frameworks. The ontology is based on the metamodel of MAF, and is currently being tried out on a set of well-known e...
219
click to vote
IFIP
2004
Springer
16 years 28 days ago
2004
Springer
Abstract This paper introduces new-HOPLA, a concise but powerful language for higherorder nondeterministic processes with name generation. Its origins as a metalanguage for domain ...
205
click to vote
VLDB
2004
ACM
16 years 27 days ago
2004
ACM
Traditional databases have focused on the issue of reducing I/O cost as it is the bottleneck in many operations. As databases become increasingly accepted in areas such as Geograp...
240
click to vote
ICNP
2003
IEEE
16 years 25 days ago
2003
IEEE
In current sensor networks, sensor nodes are capable of not only measuring real world phenomena, but also storing, processing and transferring these measurements. Many data dissem...
201
click to vote
INFOCOM
2003
IEEE
16 years 25 days ago
2003
IEEE
Abstract— The term Virtual Private Network (VPN) encompasses a wide array of diverse technologies and network architectures. All VPNs should provide users with the isolation and ...