886 search results - page 141 / 178 » Experiences Using Lightweight Formal Methods for Requirement... |
132
click to vote
KI
2002
Springer
15 years 1 months ago
2002
Springer
While empirical evaluations are a common research method in some areas of Artificial Intelligence (AI), others still neglect this approach. This article outlines both the opportun...
144
click to vote
SG
2005
Springer
15 years 6 months ago
2005
Springer
This article describes the integration of knowledge based techniques into simulative Virtual Reality (VR) applications. The approach is motivated ltimodal Virtual Construction as a...
130
click to vote
FMCO
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. The aim of this paper is to show how the Model Driven Architecture (MDA) can be used in relation with component based software engineering. A software component only exhi...
127
click to vote
CCS
2009
ACM
16 years 2 months ago
2009
ACM
Knowledge discovery on social network data can uncover latent social trends and produce valuable findings that benefit the welfare of the general public. A growing amount of resea...
124
click to vote
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
In this paper we combine existing work in the area of social laws with a framework for reasoning about knowledge in multi-agent systems. The unifying framework in which this is do...