3119 search results - page 104 / 624 » Abstract Requirement Analysis in Multiagent System Design |
ATAL
2007
Springer
15 years 4 months ago
2007
Springer
We present a simple ant model that solves a discrete foraging problem. We describe simulations and provide a complete convergence analysis: we show that the ant population compute...
CHI
2010
ACM
15 years 4 months ago
2010
ACM
A typical product development lifecycle for interactive systems starts with contextual analysis to guide system design. The challenge however is in transitioning from findings abo...
DSVIS
1998
Springer
15 years 2 months ago
1998
Springer
Abstract. In this paper we argue that using verification in interactive systems development is more than just checking whether the specification of the system has all the required ...
179
click to vote
SIGCOMM
2012
ACM
13 years 12 days ago
2012
ACM
ions for Network Update Mark Reitblatt Cornell Nate Foster Cornell Jennifer Rexford Princeton Cole Schlesinger Princeton David Walker Princeton Configuration changes are a common...
ISQED
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract— As the semiconductor technology continues its marching toward the deep sub-micron domain, the strong relation between leakage current and temperature becomes critical i...