2317 search results - page 169 / 464 » Model based testing for agent systems |
175
click to vote
AI
2006
Springer
15 years 9 months ago
2006
Springer
Assistance to people suffering from cognitive deficiencies in a smart home raises complex issues. Plan recognition is one of them. We propose a formal framework for the recognition...
219
click to vote
IADIS
2004
15 years 8 months ago
2004
The accelerated development in grid computing has positioned it as a promising next generation computing platform. It enables the creation of virtual organizations (VO) for sharin...
165
click to vote
ER
2004
Springer
16 years 10 days ago
2004
Springer
Abstract. In this paper an approach for building process models for ecommerce is proposed. It is based on the assumption that the process modeling task can be methodologically supp...
184
click to vote
ATAL
2009
Springer
15 years 8 months ago
2009
Springer
In this paper we present a new model for the requirements analysis of a system. We offer a conceptual model defined following a visual modeling language, called dependence networks...
189
click to vote
ISSRE
2010
IEEE
15 years 5 months ago
2010
IEEE
—Web 2.0 applications are increasing in popularity. However, they are also prone to errors because of their dynamic nature. This paper presents DoDOM, an automated system for tes...