12333 search results - page 2411 / 2467 » System Level Modelling for Hardware Software Systems |
AGP
1999
IEEE
14 years 11 days ago
1999
IEEE
Disunification is the problem of deciding satisfiability of a system of equations and disequations with respect to a given equational theory. In this paper we study the disunifica...
CHI
1997
ACM
14 years 7 days ago
1997
ACM
d in Extended Abstracts, Human Factors in Computing Systems (CHI conference proceedings), Association for Computing Machinery, 1997, pp. 246-247. Originally appeared as Working Pap...
MA
1997
Springer
14 years 6 days ago
1997
Springer
This paper presents a mobile agent approach that aims at satisfying the following requirements of open Internet-based electronic service markets: the mobile agent system should be...
PACT
1997
Springer
14 years 6 days ago
1997
Springer
Abstract. Recent trend in high-performance computing focuses on networks of workstations (NOWs) as a way ofrealizing cost-effective parallel machines. This has been due to the avai...
HIPC
2007
Springer
13 years 12 months ago
2007
Springer
First Come First Served (FCFS) is a policy that is accepted for implementing fairness in a number of application domains such as scheduling in Operating Systems, scheduling web req...