1664 search results - page 110 / 333 » Making a Case for Multi-Agent Systems |
107
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract--This paper proposes a method for deriving formal specifications of systems. To accomplish this task we pass through a non trivial number of steps, concepts and tools wher...
154
click to vote
WETICE
2009
IEEE
15 years 11 months ago
2009
IEEE
The ever growing request for digital information raises the need for content distribution architectures providing high storage capacity, data availability and good performance. Wh...
114
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
The motivation of our work is to make a design tool for distributed embedded systems compliant with HIS and AUTOSAR. The tool is based on Processor Expert, a component oriented de...
115
click to vote
EDOC
2006
IEEE
15 years 10 months ago
2006
IEEE
The analysis, and eventual approval or rejection, of new enterprise information technology (IT) initiatives often proceeds on the basis of informal estimates of return on investme...
132
click to vote
ISVLSI
2002
IEEE
15 years 9 months ago
2002
IEEE
An Early Completion technique is developed to significantly increase the throughput of NULL Convention self-timed digital systems without impacting latency or compromising their s...