13534 search results - page 2622 / 2707 » Modelling Human-Computer Interaction |
INFOCOM
2000
IEEE
14 years 18 days ago
2000
IEEE
— End-to-end congestion control mechanisms such as those in TCP are not enough to prevent congestion collapse in the Internet (for starters, not all applications might be willing...
AC
2000
Springer
14 years 16 days ago
2000
Springer
In these notes, we give an overview of the join calculus, its semantics, and its equational theory. The join calculus is a language that models distributed and mobile programming. ...
CONCUR
1998
Springer
14 years 13 days ago
1998
Springer
Performance evaluation is a central issue in the design of complex real-time systems. In this work, we propose an extension of socalled "Max-Plus" algebraic techniques to...
ECOOPW
1998
Springer
14 years 13 days ago
1998
Springer
This paper explains the structure of a project repository, which enables you to trace business processes and business rules to the architecture and design of the software system. T...
WETICE
1997
IEEE
14 years 12 days ago
1997
IEEE
Contemporary product design and process development is based on an iterative specify-evaluate-revise approach which is often time intensive and therein non-responsive to customer ...