9325 search results - page 1426 / 1865 » The decentralized implementability problem |
184
click to vote
EUROSYS
2007
ACM
15 years 10 months ago
2007
ACM
This paper is concerned with performance debugging of multitier applications, such as commonly found in servers and dynamic-content web sites. Existing tools and techniques for pr...
202
click to vote
FORMATS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
199
click to vote
SP
2010
IEEE
15 years 10 months ago
2010
IEEE
—As AJAX applications gain popularity, client-side JavaScript code is becoming increasingly complex. However, few automated vulnerability analysis tools for JavaScript exist. In ...
196
click to vote
FROCOS
2007
Springer
15 years 10 months ago
2007
Springer
In the last two decades we have witnessed an impressive advance in the efficiency of propositional satisfiability techniques (SAT), which has brought large and previously-intractab...
147
click to vote
DCOSS
2009
Springer
15 years 10 months ago
2009
Springer
In this paper, we present the design and implementation of a sensor network system for monitoring the flow of traffic through temporary construction work zones. As opposed to long-...