7274 search results - page 1377 / 1455 » Abstractions for network update |
175
click to vote
BIRTHDAY
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. This paper combines three topics to which Amir Pnueli contributed significantly: the semantics of languages for concurrency, the semantics of statecharts, and reactive an...
168
Voted
CONSTRAINTS
2010
15 years 3 months ago
2010
Abstract. Propositional satisfiability (SAT) is a success story in Computer Science and Artificial Intelligence: SAT solvers are currently used to solve problems in many different ...
180
Voted
FAC
2010
15 years 3 months ago
2010
Code and design smells are recurring design problems in software systems that must be identified to avoid their possible negative consequences on development and maintenance. Conse...
164
click to vote
IJBIS
2010
15 years 3 months ago
2010
Fingerprinting is a well known approach for identifying multimedia data without having the original data present but what amounts to its essence or "DNA". Current approa...
158
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract-- Communication networks provide a larger flexibility with respect to the control design of large-scale interconnected systems by allowing the information exchange between...