225 search results - page 12 / 45 » A case based approach to expressivity-aware tempo transforma... |
154
Voted
CAISE
2003
Springer
15 years 7 months ago
2003
Springer
This paper presents a requirements engineering framework based on the notions of Actor, Goal, and Intentional Dependency, and applies it to a case study in the field of Informatio...
121
click to vote
KI
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. The revision and transformation of knowledge is widely recognized as a key issue in knowledge representation and reasoning. Reasons for the importance of this topic are t...
126
click to vote
ICS
2010
Tsinghua U.
15 years 11 months ago
2010
Tsinghua U.
In this paper we study the possibility of proving the existence of one-way functions based on average case hardness. It is well-known that if there exists a polynomial-time sample...
IAT
2003
IEEE
15 years 7 months ago
2003
IEEE
We discuss a rigorous unifying framework for both planning and replanning, extending an existing logic-based approach to resource-based planning. The primitive concepts in this Ac...
116
Voted
ECEASST
2010
14 years 8 months ago
2010
In recent years, model-driven approaches and processes have1 established themselves as pragmatic and feasible solutions with tangible2 advantages. Transformations play a central ro...