949 search results - page 149 / 190 » On Topological Consistency and Realization |
152
click to vote
FORTE
2008
15 years 7 months ago
2008
Abstract. Several recent works have considered parameterized verification, i.e. automatic verification of systems consisting of an arbitrary number of finite-state processes organi...
165
click to vote
OPODIS
2008
15 years 7 months ago
2008
We consider asynchronous deterministic broadcasting in radio networks. An execution of a broadcasting protocol is a series of events, each of which consists of simultaneous transm...
169
click to vote
VMV
2008
15 years 7 months ago
2008
In this paper we present a new surface reconstruction technique for piecewise smooth surfaces from point clouds, such as scans of architectural sites or man-made artifacts. The te...
179
click to vote
ACE
2004
15 years 7 months ago
2004
The problems of providing a real, physical specialist laboratory to teach computer networking such as, the lack of funding and physical space and the risks and threats to the netw...
122
click to vote
ECIS
2004
15 years 7 months ago
2004
In response to the difficulties experienced by the automotive industry in adopting new procurement technology this research investigates an emerging phenomenon: electronic interor...