16702 search results - page 221 / 3341 » Server operating systems |
186
click to vote
TASE
2010
IEEE
15 years 15 days ago
2010
IEEE
Abstract--In many flexible manufacturing systems, batch production is often adopted to improve product quality. For example, in automotive paint shops, vehicles with same colors ar...
141
click to vote
TPHOL
2005
IEEE
15 years 11 months ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
144
click to vote
HYBRID
2005
Springer
15 years 11 months ago
2005
Springer
This paper discusses an interpretation of hybrid systems as executable models. A specification of a hybrid system for this purpose can be viewed as a program in a domain-specific...
179
click to vote
IPPS
2010
IEEE
15 years 3 months ago
2010
IEEE
From the point of view of an operating system, a computer is managed and optimized in terms of the application programming model and the management of system resources. For the TF...
166
click to vote
ENTCS
2008
15 years 5 months ago
2008
A lot of progress has been made to secure network communication, e.g., through the use of cryptographic algorithms. However, this offers only a partial solution as long as the com...