Sciweavers

1464 search results - page 225 / 293
» A Multiagent Planning Architecture
Sort
View
SIGSOFT
2010
ACM
13 years 6 months ago
Software economies
Software construction has typically drawn on engineering metaphors like building bridges or cathedrals, which emphasize architecture, specification, central planning, and determin...
David F. Bacon, Eric Bokelberg, Yiling Chen, Ian A...
DAC
2009
ACM
14 years 3 months ago
Beyond verification: leveraging formal for debugging
The latest advancements in the commercial formal model checkers have enabled the integration of formal property verification with the conventional testbench based methods in the o...
Rajeev K. Ranjan, Claudionor Coelho, Sebastian Ska...
BTW
2007
Springer
152views Database» more  BTW 2007»
14 years 2 months ago
Armada: a Reference Model for an Evolving Database System
Abstract: The data on the web, in digital libraries, in scientific repositories, etc. continues to grow at an increasing rate. Distribution is a key solution to overcome this data...
Fabian Groffen, Martin L. Kersten, Stefan Manegold
HPCS
2006
IEEE
14 years 2 months ago
Collaborative Agents for Data Dissemination in Wireless Sensor Networks
This paper presents collaborative agents system architecture approach for data dissemination in a wireless sensor network (WSN). This system architecture consists of four layers o...
Sajid Hussain, Elhadi Shakshuki, Abdul Wasey Matin...
EDOC
2005
IEEE
14 years 2 months ago
Improving IT Management at the BMW Group by Integrating Existing IT Management Processes
The management of IT landscapes consisting of thousands of business applications, different middleware systems, and supporting various business processes is a challenge for modern...
Florian Fischer, Florian Matthes, André Wit...