1288 search results - page 99 / 258 » On Analysis of Design Component Contracts: A Case Study |
141
click to vote
SAFECOMP
2009
Springer
15 years 8 months ago
2009
Springer
The advanced electric power grid is a cyber-physical system comprised of physical components such as transmission lines and generators and a network of embedded systems deployed fo...
116
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
—The subject of this work is the patrolling of an environment with the aid of a team of autonomous agents. We consider both the design of open-loop trajectories with optimal prop...
131
click to vote
MAGS
2010
14 years 8 months ago
2010
Designing efficient bidding strategies for sequential auctions remains an important, open problem area in agent-mediated electronic markets. In existing literature, a variety of bi...
EWC
2011
14 years 8 months ago
2011
This paper outlines continuing work on the intelligent design catalogue. The intelligent design catalogue seeks to create a virtual design environment that is linked to a catalogu...
112
click to vote
VLSISP
2008
15 years 1 months ago
2008
ion of Abstract Performance Models for System-Level Design Space Exploration ANDY D. PIMENTEL, MARK THOMPSON, SIMON POLSTRA AND CAGKAN ERBAS Computer Systems Architecture Group, In...