5149 search results - page 75 / 1030 » Timed Asynchronous Distributed Systems |
RTSS
2000
IEEE
15 years 6 months ago
2000
IEEE
100
click to vote
FSTTCS
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. In this paper we construct fixed finite tile systems that assemble into particular classes of shapes. Moreover, given an arbitrary n, we show how to calculate the tile co...
128
click to vote
FUIN
2010
14 years 11 months ago
2010
Bounded Model Checking (BMC) is an efficient technique applicable to verification of temporal properties of (timed) distributed systems. In this paper we show for the first time ho...
112
Voted
ECIS
2003
15 years 3 months ago
2003
This paper describes a web-based system that integrates knowledge management and decision-making features to enable short-term communities of practice develop manufacturing strate...