5170 search results - page 875 / 1034 » A Document-Oriented Approach to the Development of Knowledge... |
196
Voted
SAS
2009
Springer
16 years 7 months ago
2009
Springer
Directed model checking is a well-established technique to tackle the state explosion problem when the aim is to find error states in large systems. In this approach, the state spa...
308
Voted
SIGMOD
2009
ACM
16 years 7 months ago
2009
ACM
Current semi-structured keyword search and natural language query processing systems use ad hoc approaches to take advantage of structural information. Although intuitive, they ar...
197
Voted
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
BOINC is a platform for volunteer computing. The server component of BOINC embodies a number of scheduling policies and parameters that have a large impact on the projects through...
156
Voted
DEXAW
2008
IEEE
16 years 1 months ago
2008
IEEE
Computer-based concurrent engineering of products, denoted as Virtual Engineering (VE), is used extensively to meet the requirements of product development. Current research deals...
213
Voted
IAT
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we present how to use the Agent MOdeling LAnguage (AMOLA) to define agent interaction protocols and how to integrate these in an agent model. AMOLA provides the synt...