7103 search results - page 813 / 1421 » Program Generation and Components |
211
click to vote
CAV
2007
Springer
16 years 1 months ago
2007
Springer
This paper explores the concept of locality in proofs of global safety properties of asynchronously composed, multi-process programs. Model checking on the full state space is ofte...
191
click to vote
ICALP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. State-based systems and modal logics for reasoning about them often heterogeneously combine a number of features such as non-determinism and probabilities. Here, we show ...
166
click to vote
IFIP
2007
Springer
16 years 1 months ago
2007
Springer
Supervisory control and data acquisition (SCADA) systems are widely used to monitor and control operations in electrical power distribution facilities, oil and gas pipelines, water...
170
click to vote
GLOBECOM
2006
IEEE
16 years 1 months ago
2006
IEEE
— With the growth of mobile users and the increasing deployment of wireless access network infrastructures, the issue of quality of service is becoming an important component of ...
142
Voted
ISCAS
2006
IEEE
16 years 1 months ago
2006
IEEE
— We report on a custom designed system for the deposition and characterization of polypyrrole bilayer actuators. Unlike conventional commercial electrochemical cells and potenti...