10458 search results - page 1820 / 2092 » Modeling Features at Runtime |
LICS
2008
IEEE
14 years 4 months ago
2008
IEEE
Kleene algebra with tests (KAT) is an equational system for program verification that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...
QEST
2008
IEEE
14 years 4 months ago
2008
IEEE
We present the KPC-Toolbox, a collection of Matlab scripts for fitting workload traces into Markovian Arrival Processes (MAPs) in an automatic way. We first present detailed sen...
TRIDENTCOM
2008
IEEE
14 years 4 months ago
2008
IEEE
The 3GPP System Architecture Evolution (SAE) is a very attractive environment from the service provisioning perspective, thanks to the variety of access technologies and mobility ...
WCNC
2008
IEEE
14 years 4 months ago
2008
IEEE
— Weather attenuations can have a distorting effect on signal fidelity above 10 GHz that lead to excessive digital transmission error. This loss of signal is commonly referred to...
WMCSA
2008
IEEE
14 years 4 months ago
2008
IEEE
Air pollution, traffic congestion, stress and accidents are common features of today’s road transportation experience. New approaches to improving the efficiency and safety of t...