6020 search results - page 861 / 1204 » A New Approach to Model Counting |
167
Voted
AINA
2010
IEEE
15 years 11 months 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...
203
Voted
DEON
2010
Springer
15 years 11 months 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...
146
click to vote
CDC
2009
IEEE
15 years 11 months 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...
171
click to vote
CEC
2009
IEEE
15 years 11 months 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...
162
Voted
CAISE
2001
Springer
15 years 11 months 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...