1664 search results - page 166 / 333 » Making a Case for Multi-Agent Systems |
150
click to vote
VTC
2010
IEEE
15 years 3 months ago
2010
IEEE
—We evaluate the performance of the uplink of a 3GPP UTRAN Long Term Evolution (LTE) system with intra-site cooperation, where different sectors belonging to the same site may co...
135
Voted
KBSE
2009
IEEE
15 years 11 months ago
2009
IEEE
Effect systems are important for reasoning about the side effects of a program. Although effect systems have been around for decades, they have not been widely adopted in practice...
157
click to vote
ICST
2008
IEEE
15 years 11 months ago
2008
IEEE
Verification and validation techniques often generate various forms of software development artifacts. Change records created from verification and validation efforts show how fil...
137
click to vote
CORR
2006
Springer
15 years 5 months ago
2006
Springer
ABSTRACT. Reasoning with diagrams: cognitive and computational perspectives. Diagrammatic, analogical or iconic representations are often contrasted with linguistic or logical repr...
185
click to vote
CASES
2011
ACM
14 years 5 months ago
2011
ACM
Cost pressure is driving vendors of safety-critical systems to integrate previously distributed systems. One natural approach we have previous introduced is On-Demand Redundancy (...