770 search results - page 15 / 154 » Dinatural Terms in System F |
101
Voted
FDL
2003
IEEE
15 years 7 months ago
2003
IEEE
The Unified Modelling Language (UML) is a language for specifying, visualizing, constructing, and documenting the artefacts of software systems, as well as for modelling business ...
ICIP
2005
IEEE
16 years 3 months ago
2005
IEEE
In this paper, a multi-camera architecture is presented for heterogeneous targets analysis and tracking. The proposed system can be switched in various configurations enabling aut...
ECOOP
2004
Springer
15 years 7 months ago
2004
Springer
Module systems are well known as a means for giving clear interfaces for the static linking of code. This paper shows how adding explicit interfaces to modules for 1) dynamic linki...
112
click to vote
QUESTA
2011
14 years 4 months ago
2011
Motivated by service levels in terms of the waiting-time distribution seen in e.g. call centers, we consider two models for systems with a service discipline that depends on the w...
133
Voted
SAC
2005
ACM
15 years 7 months ago
2005
ACM
This paper describes the use of fault tolerance in a multiagent system. Such an approach is based on the modeling of autonomous agents with planning capabilities. These capabiliti...