2838 search results - page 265 / 568 » Verifying Controlled Components |
114
click to vote
COMPSAC
2002
IEEE
15 years 6 months ago
2002
IEEE
Universal access to information and data is an important goal of current research. Previously different forms of information and data, captured by different devices or held on dif...
157
click to vote
HPTS
1993
15 years 5 months ago
1993
Elements of transaction processing become more and more accepted as a base for general purpose distributed computing.We have developed an action concept with an extended functiona...
108
click to vote
ICWS
2008
IEEE
15 years 2 months ago
2008
IEEE
Programmable Logic Controllers (PLC) are widely used in process automation due to their fast and guarantee response time. However their programming and interfacing capacities are ...
115
click to vote
JOLLI
2006
15 years 1 months ago
2006
Abstract. In this paper we study families of resource aware logics that explore resource restriction on rules; in particular, we study the use of controlled cut-rule and introduce ...
JIRS
2000
15 years 28 days ago
2000
Abstract. A wide range of microcomponents can today be produced using various microfabrication techniques. The assembly of complex microsystems consisting of several single compone...