1851 search results - page 306 / 371 » Open Source AI |
114
Voted
ACSD
2010
IEEE
15 years 19 days ago
2010
IEEE
Abstract--Safety properties are an important class of properties as in the industrial use of model checking a large majority of the properties to be checked are safety properties. ...
140
Voted
ADHOCNETS
2010
Springer
15 years 19 days ago
2010
Springer
In this paper, we consider the use of multiple mobile software agents to perform different tasks in wireless sensor networks (WSNs). To this regard, determining the number of mobil...
121
Voted
CLOUDCOM
2010
Springer
15 years 18 days ago
2010
Springer
The Semantic Web is gaining immense popularity-and with it, the Resource Description Framework (RDF) broadly used to model Semantic Web content. However, access control on RDF sto...
180
Voted
GEM
2010
15 years 18 days ago
2010
Abstract-- The problem of allocating defensive weapon resources to hostile targets is an optimization problem of high military relevance. The need for obtaining the solutions in re...
127
Voted
GI
2010
Springer
15 years 17 days ago
2010
Springer
: paper we present a two-level approach to extend the abstract syntax of models with concrete semantics in order to execute such models. First, a light-weight execution infrastruct...