7366 search results - page 106 / 1474 » Development of the Information Systems Implementation Resear... |
133
click to vote
CADE
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. We present a theorem proving environment for the development of reliable and efficient group communication systems. Our approach makes methods of automated deduction appl...
163
click to vote
TPLP
2002
15 years 3 months ago
2002
At present, the search for specific information on the World Wide Web is faced with several problems, which arise on the one hand from the vast number of information sources avail...
143
click to vote
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
— Quickly adapting the manufacturing system to the production of new or modified products is critical for manufacturers in order to stay competitive. For flexible manufacturing...
120
click to vote
CAISE
2006
Springer
15 years 7 months ago
2006
Springer
Ubiquitous system can be considered as the intelligent space, in which many kinds of component are connected by networks and also each component recognizes their connection and coo...
128
click to vote
WSCG
2000
15 years 5 months ago
2000
The digital television development is one of the most important events in the history of television broadcasting. This paper highlights the user interface issue in digital televis...