447 search results - page 38 / 90 » 'Openness' and the public airwaves |
AIM
2005
13 years 8 months ago
2005
RoboCup is an international initiative with the main goals of fostering research and education in Artificial Intelligence and Robotics, as well as of promoting science and technol...
JCP
2007
13 years 8 months ago
2007
—The ability to authenticate the identity of an entity in an open and insecure environment such as the Internet plays an important role in reducing potential threats and Public k...
JODL
2007
13 years 8 months ago
2007
: The Florida Digital Archive is a long-term digital preservation repository for the use of the libraries of the public universities of Florida. It is managed by the Florida Center...
NFM
2011
13 years 3 months ago
2011
Abstract. We present a new open source model checker, opaal, for automatic verification of models using lattice automata. Lattice automata allow the users to incorporate abstracti...
PLPV
2010
ACM
13 years 10 months ago
2010
ACM
Real-time systems, and in particular safety-critical systems, are a rich source of challenges for the program verification community as software errors can have catastrophic conse...