3984 search results - page 496 / 797 » Using linked data for systems management |
278
click to vote
PLDI
2009
ACM
16 years 4 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....
118
Voted
CII
2007
15 years 3 months ago
2007
The paper uses a case example to present a novel way of building enterprise information systems. The objective is to bring forth the benefits of an item centric systems design in ...
150
click to vote
GLOBECOM
2007
IEEE
15 years 9 months ago
2007
IEEE
— The traffic exchanged between two overlay nodes in different autonomous systems (AS) is always subjected to a series of inter-domain policies. However, overlay routing often m...
141
Voted
ACMDIS
2008
ACM
15 years 5 months ago
2008
ACM
People now easily share digital photos outside the home via web publishing and gift-giving. Yet within the home, digital photos are hard to access and lack the physical affordance...
112
Voted
ATAL
2007
Springer
15 years 9 months ago
2007
Springer
Recommender Systems are used in various domains to generate personalized information based on personal user data. The ability to preserve the privacy of all participants is an ess...