3812 search results - page 592 / 763 » Combinations of TRAP Based Systems |
181
click to vote
DGO
2011
14 years 5 months ago
2011
The rising awareness of the challenges of preserving information over the long term has led to a wealth of initiatives developing economic models, methods, tools, systems, guideli...
120
click to vote
ICNP
2005
IEEE
15 years 11 months ago
2005
IEEE
We propose multi-class signaling overload control algorithms, for telecommunication switches, that are robust against different input traffic patterns and system upgrades. In ord...
171
click to vote
ECAI
2000
Springer
15 years 10 months ago
2000
Springer
AutoSteve performs automated electrical design based on qualitative simulation and functional abstraction. It is the first commercial product capable of performing these tasks for ...
157
click to vote
ICFP
2010
ACM
15 years 6 months ago
2010
ACM
Programmers reason about their programs using a wide variety of formal and informal methods. Programmers in untyped languages such as Scheme or Erlang are able to use any such met...
122
click to vote
ATAL
2009
Springer
16 years 3 days ago
2009
Springer
This paper details the implementation of a software framework that aids the development of distributed and self-configurable software systems. This framework is an instance of a n...