3885 search results - page 38 / 777 » Clarifying Goal Models |
124
click to vote
AIM
2006
15 years 2 months ago
2006
maintain awareness of its environment for a long period of time. Additionally, knowledge-intensive agents must be engineered such that their knowledge can be easily updated as envi...
NJC
2006
15 years 1 months ago
2006
In model based design model fragments are used in everyday work. Concurrent operations on separate parts of a model and communication between stakeholders are some examples. Howeve...
GCC
2004
Springer
15 years 7 months ago
2004
Springer
This paper presents a discussion on Grids merging with the economy. Until now no clear notion and categorization exist in this area. Problem formulations of “economy grid” proj...
HICSS
2000
IEEE
15 years 6 months ago
2000
IEEE
We outline and clarify the essential concepts of the componentware paradigm. After motivating the role of formal foundations and introducing a number of useful description techniq...
116
click to vote
ARTS
1999
Springer
15 years 6 months ago
1999
Springer
In this paper we study the issue of progress for distributed timed systems modeled as the parallel composition of timed automata. We clarify the requirements of discrete progress (...