3914 search results - page 423 / 783 » Automating SLA modeling |
168
click to vote
ICCD
2004
IEEE
16 years 3 months ago
2004
IEEE
The work presents a modeling and analysis framework for heterogeneous industrial networks architectures which is based on a tight integration of a network simulator with embedded ...
143
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
— Trajectory-based methods offer an attractive methodology for automated, on-demand generation of macromodels for custom circuits. These models are generated by sampling the stat...
175
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
Exception handling mechanisms have been around for more than 30 years. Nevertheless, modern exceptions systems are not very different from the early models. Programming languages ...
155
click to vote
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
The description of resources in game semantics has never achieved the simplicity and precision of linear logic, because of a misleading conception: the belief that linear logic is...
181
Voted
ECSQARU
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. There has recently been many proposals to adopt an argumentative approach to decision-making. As the underlying assumptions made in these different approaches are not al...