Sciweavers

3071 search results - page 215 / 615
» Explanatory Design Theory
Sort
View
ISPD
2003
ACM
88views Hardware» more  ISPD 2003»
16 years 4 days ago
Synthesis and placement flow for gain-based programmable regular fabrics
In this paper we present the Gain-based Logic Block Array (GLA), a new via-programmable regular fabric. GLA is an array of Gainbased Logic Blocks (GLBs). The GLB is a semi-univers...
Bo Hu, Hailin Jiang, Qinghua Liu, Malgorzata Marek...
HOLOMAS
2003
Springer
16 years 3 days ago
Holonic Multiagent Systems: A Foundation for the Organisation of Multiagent Systems
With the growing usage of the world-wide ICT networks, agent technologies and multiagent systems are attracting more and more attention, as they perform well in environments that a...
Klaus Fischer, Michael Schillo, Jörg H. Siekm...
CDC
2009
IEEE
126views Control Systems» more  CDC 2009»
15 years 11 months ago
Overcoming limitations of game-theoretic distributed control
—Recently, game theory has been proposed as a tool for cooperative control. Specifically, the interactions of a multiagent distributed system are modeled as a non-cooperative ga...
Jason R. Marden, Adam Wierman
RE
2001
Springer
15 years 11 months ago
Software Acquisition: A Business Strategy Analysis
This paper argues that there are new insights to be gained from a strategic analysis of requirements engineering. The paper is motivated by a simple question: what does it take to...
Barbara Farbey, Anthony Finkelstein
AISC
2010
Springer
15 years 11 months ago
Structured Formal Development with Quotient Types in Isabelle/HOL
General purpose theorem provers provide sophisticated proof methods, but lack some of the advanced structuring mechanisms found in specification languages. This paper builds on pr...
Maksym Bortin, Christoph Lüth