1139 search results - page 159 / 228 » Aligning Goal Models and Business Models - extended abstract |
140
click to vote
BIRTHDAY
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. Logic preservation theorems often have the form of a syntax/semantics correspondence. For example, the Los-Tarski theorem asserts that a rst-order sentence is preserved b...
152
click to vote
AH
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper presents an approach that uses the techniques of plan recognition not only to infer short-term plans and goals, but also to infer the long-term procedural know...
171
click to vote
DAC
2008
ACM
15 years 8 months ago
2008
ACM
level of accuracy in IC package abstraction (compact models) to ensure robust thermal design. An overarching goal must be to reduce power consumption per function through smart pro...
157
click to vote
HCI
2007
15 years 7 months ago
2007
Abstract. In this paper, we design an Attention Focus Kalman Filter (AFKF) a framework that offers interaction capabilities by constructing an eyemovement language, provides real-t...
141
click to vote
DT
2006
15 years 6 months ago
2006
at their abstractions are similar to data types and operations supplied by conventional processors. A core principle of BCPL is its memory model: an The Challenges of Synthesizing ...