1002 search results - page 35 / 201 » Implementing Standard Reference Models for e-learning System... |
ICC
2007
IEEE
14 years 5 months ago
2007
IEEE
Abstract— Ultra wide band (UWB) impulse radio (IR) technology calls for robust and low-complexity receiver techniques. State-of-the-art proposals are both coherent ML receivers, ...
STTT
2011
13 years 5 months ago
2011
We present algorithms for parallel probabilistic model checking on general purpose graphic processing units (GPGPUs). Our improvements target the numerical components of the tradit...
DBSEC
2009
13 years 12 months ago
2009
Reflective Database Access Control (RDBAC) is a model in which a database privilege is expressed as a database query itself, rather than as a static privilege in an access control ...
WWW
2003
ACM
14 years 11 months ago
2003
ACM
XML Schema has emerged as a promising data model that unites structured and unstructured content. The Oracle database has led the commercial database community in integrating supp...
FORMATS
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. We describe OBDD-based symbolic model checking algorithms for simply-timed systems, i.e. finite state graphs where transitions carry a duration. These durations can be a...