4150 search results - page 678 / 830 » A Practical Approach to Model Extension |
149
Voted
HT
1987
ACM
15 years 7 months ago
1987
ACM
Hypertext is a technology well-suited to exploring different kinds of representational problems. It can be used first as an informal mechanism to describe the attributes of object...
157
Voted
MICRO
2006
IEEE
15 years 3 months ago
2006
IEEE
Shrinking devices to the nanoscale, increasing integration densities, and reducing of voltage levels down to the thermal limit, all conspire to produce faulty systems. Frequent oc...
184
Voted
ICLP
2011
Springer
14 years 7 months ago
2011
Springer
Transaction Logic is an extension of classical logic that gracefully integrates both declarative and procedural knowledge and has proved itself as a powerful formalism for many ad...
133
Voted
WWW
2005
ACM
16 years 4 months ago
2005
ACM
This paper is concerned with the problem of definition search. Specifically, given a term, we are to retrieve definitional excerpts of the term and rank the extracted excerpts acc...
119
Voted
BPM
2009
Springer
15 years 10 months ago
2009
Springer
The goal of performance analysis of business processes is to gain insights into operational processes, for the purpose of optimizing them. To intuitively show which parts of the pr...