2004 search results - page 243 / 401 » Comparison of Model Checking Tools for Information Systems |
141
click to vote
CPHYSICS
2007
15 years 4 months ago
2007
During the last decade, several quantum information protocols, such as quantum key distribution, teleportation or quantum computation, have attracted a lot of interest. Despite th...
134
click to vote
JUCS
2007
15 years 4 months ago
2007
: Nowadays, advanced E-Learning systems are generally pedagogy-aware. Commonly, these systems include facilities for defining so-called learning scenarios that reflect sophisticate...
131
click to vote
EICS
2010
ACM
15 years 9 months ago
2010
ACM
Fostering creativity in User Interface (UI) design is challenging for innovation. This paper explores the combination of model-based approaches and interactive genetic algorithms ...
142
click to vote
GLOBECOM
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract—In this contribution we present a numerical approach to evaluate the bit error rate and mutual information of OFDM links affected by transmitter nonlinearities, phase no...
140
click to vote
TCGOV
2005
Springer
15 years 10 months ago
2005
Springer
The requirement of integrating, sharing and reusing legislative information is a research issue gaining priority for governments and institutions. The legal world is complex, heter...