286 search results - page 48 / 58 » Engineering AgentSpeak(L): A Formal Computational Model |
ICCSA
2009
Springer
14 years 1 months ago
2009
Springer
Data aggregation in Geographic Information Systems (GIS) is a desirable feature, spatial data are integrated in OLAP engines for this purpose. However, the development and operatio...
ESWS
2005
Springer
14 years 7 days ago
2005
Springer
When information services are organized to provide some composed functionality, their interactions can be formally represented as workflows. Traditionally, workflows are executed...
ACSAC
2003
IEEE
14 years 16 hour ago
2003
IEEE
1 DOD Joint Vision 2020 (JV2020) is the integrated multi-service planning document for conduct among coalition forces of future warfare. It requires the confluence of a number of k...
SAC
2009
ACM
14 years 1 months ago
2009
ACM
In this paper we propose a passive conformance testing technique applied to a Mobile ad hoc network (MANET) routing protocol, OLSR, that is characterized by a dynamically changing...
SEKE
2010
Springer
13 years 5 months ago
2010
Springer
Given the bytecode of a software system, is it possible to automatically generate attack signatures that reveal its vulnerabilities? A natural solution would be symbolically execu...