Sciweavers

1266 search results - page 133 / 254
» A Historical View of Context
Sort
View
ICLP
2004
Springer
16 years 11 days ago
Multi-agent Coordination as Distributed Logic Programming
A novel style of multi-agent system specification and deployment is described, in which familiar methods from computational logic are re-interpreted to a new context. One view of ...
David Robertson
176
Voted
WEBDB
2004
Springer
80views Database» more  WEBDB 2004»
16 years 10 days ago
Unraveling the Duplicate-Elimination Problem in XML-to-SQL Query Translation
We consider the scenario where existing relational data is exported as XML. In this context, we look at the problem of translating XML queries into SQL. XML query languages have t...
Rajasekar Krishnamurthy, Raghav Kaushik, Jeffrey F...
214
Voted
CSFW
2003
IEEE
16 years 8 days ago
Anonymity and Information Hiding in Multiagent Systems
We provide a framework for reasoning about information-hiding requirements in multiagent systems and for reasoning about anonymity in particular. Our framework employs the modal l...
Joseph Y. Halpern, Kevin R. O'Neill
195
Voted
CSMR
2003
IEEE
16 years 8 days ago
Supporting Evolution in Component-Based Development Using Component Libraries
Component-based software development (CBSD) is a very promising software engineering technique for improving reuse and maintenance. Nevertheless, there are still some difficultie...
Miro Casanova, Ragnhild Van Der Straeten, Viviane ...
DEXAW
2003
IEEE
93views Database» more  DEXAW 2003»
16 years 8 days ago
A business process-driven approach to security engineering
A challenging task in security engineering concerns the specification and integration of security with other requirements at the top level of requirements engineering. Empirical ...
Antonio Mana, José A. Montenegro, Carsten R...