12981 search results - page 2202 / 2597 » Model Checking (Abstract) |
135
click to vote
FOSSACS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Synthesis is the automatic construction of a system from its specification. In the classical synthesis algorithms it is always assumed the system is “constructed from ...
145
click to vote
LATA
2009
Springer
15 years 11 months ago
2009
Springer
Introducing priorities on rules in rewriting increases their expressive power and helps to limit computations. Priority rewriting is used in rule-based programming as well as in f...
145
Voted
STACS
2009
Springer
15 years 11 months ago
2009
Springer
Cellular Automata (CA) are discrete dynamical systems and an abstract model of parallel computation. The limit set of a cellular automaton is its maximal topological attractor. A w...
135
click to vote
CSE
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—Extensive work has been devoted to private information retrieval and privacy preserving data mining. To protect user privacy from search engines, however, most current a...
129
click to vote
CSE
2009
IEEE
15 years 11 months ago
2009
IEEE
—In online social networks (OSNs), user connections can be represented as a network. The network formed has distinct properties that distinguish it from other network topologies....