7274 search results - page 1377 / 1455 » Abstractions for network update |
138
Voted
BIRTHDAY
2010
Springer
15 years 28 days 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...
138
Voted
CONSTRAINTS
2010
15 years 28 days 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 ...
142
Voted
FAC
2010
15 years 26 days 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...
115
Voted
IJBIS
2010
15 years 24 days 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...
129
Voted
CDC
2010
IEEE
14 years 10 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...