140 search results - page 16 / 28 » Interpretation and Transformation for Abstracting Conversati... |
PIMRC
2010
IEEE
14 years 7 months ago
2010
IEEE
Abstract--Social networking on the Web has become an integral part of our lives. Merging of computing with physical things enabled the conversion of everyday objects into informati...
ECOOP
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. Aspects have emerged as a powerful tool in the design and development of systems, allowing for the encapsulation of program transformations. The dynamic semantics of aspe...
WORDS
2003
IEEE
15 years 3 months ago
2003
IEEE
Timing analysis is a crucial test for dependable hard real-time systems (DHRTS). The calculation of the worst-case execution time (WCET) is mandatory. As modern compilers are capa...
112
click to vote
CADE
1992
Springer
15 years 1 months ago
1992
Springer
Abstract. We exhibit a methodology for formulating and verifying metatheorems about deductive systems in the Elf language, an implementation of the LF Logical Framework with an ope...
DEXA
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. The content of most Web pages is dynamically derived from an underlying relational database. Thus, the success of the Semantic Web hinges on enabling access to relational...