6201 search results - page 1142 / 1241 » Implementation of Axiomatic Language |
146
click to vote
ECOOP
2007
Springer
15 years 8 months ago
2007
Springer
UML class diagrams are usually annotated with OCL expressions that constrain their possible instantiation. In our work we have investigated how OCL annotations can be automatically...
166
Voted
ASPLOS
2006
ACM
15 years 8 months ago
2006
ACM
Transient faults are expected a be a major design consideration in future microprocessors. Recent proposals for transient fault detection in processor cores have revolved around t...
159
click to vote
AXMEDIS
2006
IEEE
15 years 8 months ago
2006
IEEE
Traditional media, such as text, image, audio and video, have long been the main media resources and granted full support of standard desktop tools and applications. Interactive r...
159
click to vote
CIKM
2006
Springer
15 years 8 months ago
2006
Springer
The wide adoption of XML has increased the interest of the database community on tree-structured data management techniques. Querying capabilities are provided through tree-patter...
119
click to vote
ECOOP
2006
Springer
15 years 8 months ago
2006
Springer
Adaptive Programming (AP) allows for the separate definition of data structures and traversals with attached computations, performed during the traversal, that operate on these dat...