517 search results - page 75 / 104 » Translation in XBRL standardization |
147
click to vote
ECRTS
2007
IEEE
15 years 12 months ago
2007
IEEE
Conventionally, the use of virtual memory in real-time systems has been avoided, the main reason being the difficulties it provides to timing analysis. However, there is a trend ...
143
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
OpenMP has emerged as an important model and language extension for shared-memory parallel programming. On shared-memory platforms, OpenMP offers an intuitive, incremental approac...
129
click to vote
CCS
2007
ACM
15 years 11 months ago
2007
ACM
In a proxy re-encryption (PRE) scheme, a proxy is given special information that allows it to translate a ciphertext under one key into a ciphertext of the same message under a di...
136
click to vote
FOSSACS
2007
Springer
15 years 11 months ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...
175
click to vote
ICLP
2007
Springer
15 years 11 months ago
2007
Springer
This paper describes the dlvhex SPARQL plugin, a query processor for the upcoming Semantic Web query language standard by W3C. We report on the implementation of this languages usi...