1690 search results - page 265 / 338 » Algorithmic Properties of Millstream Systems |
108
click to vote
DLOG
2007
15 years 3 months ago
2007
In the context of the Semantic Web or semantic peer to peer systems, many ontologies may exist and be developed independently. Ontology alignments help integrating, mediating or re...
135
click to vote
CL
2002
Springer
15 years 19 days ago
2002
Springer
We introduce a typed variant of Safe Ambients, named Secure Safe Ambients (SSA), whose type system allows behavioral invariants of ambients to be expressed and verified. The most ...
139
Voted
INFOCOM
1998
IEEE
15 years 5 months ago
1998
IEEE
To support the Internet's explosive growth and expansion into a true integrated services network, there is a need for cost-effective switching technologies that can simultaneo...
141
click to vote
SIGSOFT
2007
ACM
16 years 1 months ago
2007
ACM
Product Data Management (PDM) and Software Configuration Management (SCM) are the disciplines of building and controlling the evolution of a complex artifacts; either physical or ...
209
Voted
POPL
2008
ACM
16 years 1 months ago
2008
ACM
In language-based security, confidentiality and integrity policies conveniently specify the permitted flows of information between different parts of a program with diverse levels...