6381 search results - page 355 / 1277 » Alternative Implementation of the C |
162
click to vote
COMPSAC
2002
IEEE
16 years 17 days ago
2002
IEEE
When different business units of an international company are responsible for the development of different parts of a large system, a component-based software architecture may be ...
189
click to vote
ITCC
2002
IEEE
16 years 15 days ago
2002
IEEE
The concept of Virtual Private Networks offers a simple and cheap alternative to dedicated secure networks in corporate networks and Internet environments. The choice, however, of...
197
click to vote
WISE
2002
Springer
16 years 15 days ago
2002
Springer
The emergence of Application Service Providers (ASP) hosting Internet-based data mining services is being seen as a viable alternative for organisations that value their knowledge...
200
click to vote
CDC
2009
IEEE
16 years 9 days ago
2009
IEEE
— We present an algorithm to calculate the control input when the processing resources available are time-varying. The basic idea is to calculate the components of the control in...
197
click to vote
GI
2009
Springer
16 years 6 days ago
2009
Springer
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...