890 search results - page 61 / 178 » software 1998 |
COMPSAC
1998
IEEE
14 years 23 days ago
1998
IEEE
The paper introduces a taxonomy of the possible coordination models for mobile agent applications and evaluates their impact in the design of a widely distributed application in t...
WSC
1998
13 years 10 months ago
1998
This paper discusses how simulation is used to design new manufacturing systems and to improve the performance of existing ones. Topics to be discussed include: manufacturing issu...
HPCA
1998
IEEE
14 years 1 months ago
1998
IEEE
In this paper we introduce a page-based Lazy Release Consistency protocol called ADSM that constantly and efficiently adapts to the applications' sharing patterns. Adaptation...
ISORC
1998
IEEE
14 years 29 days ago
1998
IEEE
Many real-time systems evolve over time due to new requirements and technology improvements. Each revision requires regression testing to ensure that existing functionality is not...
TPHOL
1998
IEEE
14 years 29 days ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...