1975 search results - page 71 / 395 » Property analysis and design understanding |
149
click to vote
ER
2000
Springer
15 years 9 months ago
2000
Springer
Taxonomies are an important part of conceptual modeling. They provide substantial structural information, and are typically the key elements in integration eorts, however there ha...
149
click to vote
OIR
2006
15 years 5 months ago
2006
Purpose - This paper studies the characteristics of chat messages from analyzing a collection of 33,121 sample messages gathered from 1700 sessions of conversations of 72 pairs of...
119
click to vote
DATE
2007
IEEE
16 years 9 days ago
2007
IEEE
Formal verification is an important issue in circuit and system design. In this context, Bounded Model Checking (BMC) is one of the most successful techniques. But even if all sp...
158
click to vote
CEC
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper we derive a simpler form of Particle Swarm Optimiser (PSO) which still retains the key properties of the original model. We do so by progressively altering the origin...
184
click to vote
CDC
2010
IEEE
15 years 29 days ago
2010
IEEE
Abstract-We study the well known linear consensus algorithm by means of a LQ-type performance cost. We want to understand how the communication topology influences this algorithm. ...