5113 search results - page 959 / 1023 » Model-integrated system development: models, architecture, a... |
147
click to vote
BIOSYSTEMS
2008
15 years 6 months ago
2008
We propose conditions in which an autonomous agent could arise, and increase in complexity. It is assumed that on the primitive Earth there arose a recycling flow-reactor containi...
135
Voted
JDCTA
2010
15 years 27 days ago
2010
This paper analyzes performance of MEGACO (Media Gateway Control Protocol) based on Diameter which is an Authentication, Authorization,andAccounting (AAA) protocol developed withi...
147
click to vote
EDBT
2010
ACM
16 years 28 days ago
2010
ACM
Skyline queries have gained a lot of attention for multicriteria analysis in large-scale datasets. While existing skyline algorithms have focused mostly on exploiting data dominan...
172
Voted
DATE
2004
IEEE
15 years 9 months ago
2004
IEEE
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
167
click to vote
NIPS
2003
15 years 7 months ago
2003
We have designed and tested a single-chip analog VLSI sensor that detects imminent collisions by measuring radially expansive optic flow. The design of the chip is based on a mode...