3885 search results - page 184 / 777 » Clarifying Goal Models |
135
click to vote
ARGMAS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Modeling different types of dialog between autonomous agents is becoming an important research issue. Several proposals exist with a clear definition of the dialog protoc...
132
click to vote
IJCSA
2007
15 years 4 months ago
2007
—There is an increased awareness of the roles that enterprise architecture (EA) and enterprise systems (ES) play in today’s organizations. EA and ES usage maturity models are u...
155
click to vote
IHIS
2005
ACM
15 years 10 months ago
2005
ACM
The goal of this work is to contribute to the field of interoperability of Workflow models. To achieve this interoperability, we have built a generic architecture that s three lev...
202
click to vote
CHARME
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Model checking is a formal technique for automatically verifying that a finite-state model satisfies a temporal property. In model checking, generally Binary Decision D...
127
click to vote
SIGIR
1998
ACM
15 years 8 months ago
1998
ACM
Abstract Models of document indexing and document retrieval have been extensively studied. The integration of these two classes of models has been the goal of several researchers b...