5200 search results - page 815 / 1040 » Symbolic models for control systems |
190
click to vote
HICSS
2005
IEEE
16 years 25 days ago
2005
IEEE
In the past decade outsourcing a software system’s support and maintenance has become relatively common across most organizations. In this paper we consider a few issues governi...
228
click to vote
ICADL
2004
Springer
16 years 18 days ago
2004
Springer
This paper presents our implementation techniques for an intelligent Web image search engine. A reference architecture of the system is provided and addressed in this paper. The s...
215
click to vote
ISSS
2002
IEEE
16 years 4 days ago
2002
IEEE
Static timing analysis of embedded software is important for systems with hard real-time constraints. To accurately estimate time bounds, it is essential to model the underlying m...
191
click to vote
HPDC
1998
IEEE
15 years 11 months ago
1998
IEEE
One of the most difficult problems to be solved by metacomputing systems is to ensure strong authentication and authorization. The problem is complicated since the hosts involved ...
285
click to vote
HPDC
1998
IEEE
15 years 11 months ago
1998
IEEE
Conventional resource management systems use a system model to describe resources and a centralized scheduler to control their allocation. We argue that this paradigm does not ada...