3814 search results - page 569 / 763 » Operating system support for multimedia systems |
164
click to vote
IEEEARES
2009
IEEE
15 years 12 months ago
2009
IEEE
— Trust in software services is a key prerequisite for the success and wide adoption of Services-Oriented Computing (SOC) in an open Internet world. However, trust is poorly asse...
135
click to vote
LICS
2009
IEEE
15 years 11 months ago
2009
IEEE
We show how to reason about “step-indexed” logitions in an abstract way, avoiding the tedious, error-prone, and proof-obscuring step-index arithmetic that seems superficially...
132
click to vote
HASKELL
2009
ACM
15 years 11 months ago
2009
ACM
Structured documents are commonly edited using a free-form editor. Even though every string is an acceptable input, it makes sense to maintain a structured representation of the e...
136
click to vote
EDOC
2008
IEEE
15 years 11 months ago
2008
IEEE
Software development is witnessing the increasing need of version management techniques for supporting the evolution of model-based artefacts. In this respect, metamodels can be c...
133
click to vote
HICSS
2008
IEEE
15 years 11 months ago
2008
IEEE
“Radio Frequency Identification” (RFID) and the related EPC standards promise to enable an automatic collection of supply chain data for optimization purposes. While extensive...