51692 search results - page 10130 / 10339 » at 2008 |
215
click to vote
ASIAMS
2008
IEEE
15 years 8 months ago
2008
IEEE
The paper elaborates upon the interim results achieved in resolving a few newly discovered 16th century letters now alleged to be written by Queen Mary of Scots (QMS). Despite the...
192
click to vote
ASM
2008
ASM
15 years 8 months ago
2008
ASM
anguage (Event B), hence staying at the same abstraction level. Thus we take advantage from the Event B method: (i) it is possible to use the method during the whole development pr...
180
click to vote
ASMTA
2008
Springer
15 years 8 months ago
2008
Springer
The solution of continuous and discrete-time Markovian models is still challenging mainly when we model large complex systems, for example, to obtain performance indexes of paralle...
200
click to vote
ASMTA
2008
Springer
15 years 8 months ago
2008
Springer
Recently, a quality-of-service (QoS) extension of the IEEE 802.11 standard (known as IEEE 802.11e) for wireless LANs has been proposed. We present a versatile and accurate performa...
189
click to vote
ASPDAC
2008
ACM
15 years 8 months ago
2008
ACM
ACT Benchmarks are an immensely useful tool in performing research since they allow for rapid and clear comparison between different approaches to solving CAD problems. Recent expe...