6020 search results - page 861 / 1204 » A New Approach to Model Counting |
192
click to vote
AINA
2010
IEEE
16 years 19 days ago
2010
IEEE
Intelligent connected devices become a more vital part of our lives. In contrast to prior years, today embedded systems and devices are loosely coupled and cooperate with each oth...
233
click to vote
DEON
2010
Springer
16 years 10 days ago
2010
Springer
Abstract. Privacy policies are often defined in terms of permitted messages. Instead, in this paper we derive dynamically the permitted messages from static privacy policies defi...
175
click to vote
CDC
2009
IEEE
16 years 7 days ago
2009
IEEE
— This work deals with a group of mobile sensors sampling a spatiotemporal random field whose mean is unknown and covariance is known up to a scaling parameter. The Bayesian pos...
199
Voted
CEC
2009
IEEE
16 years 7 days ago
2009
IEEE
—Particle Swarm Optimisation (PSO) is increasingly being applied to optimisation of problems in engineering design and scientific investigation. While readily adapted to singleo...
192
Voted
CAISE
2001
Springer
16 years 1 days ago
2001
Springer
Information System Engineering has become under increasing pressure to come up with software solutions that endow systems with the agility that is required to evolve in a continual...