Content tagged "model-checking"
-
Design time Methodology …
2 years ago,
773 views
accessibilit accessibility accessibilità ambient intelligence ausili disabilit disabilita disabilità dog dogont domotica domotics e-learning informatica java linked data ontology owl politecnico di torino programmazione rdf semantic semantic web smart home tecnologie web more…
"ageing society" "internet access" aac abstract data type accessibilit accessibility accessibilità accessibilità accessiblità adt ajax algorithm algorithms algoritmi als ambient assisted living ambient intelligence applications architectures assistive ausili ausili informatici c classificazione codeblocks collections command-line interface complexity comunicazione connection pooling data data structure data structures design for all development disabilit disabilit motorie disabilita disability disabilità dog dogont domotica domotics dvd e-learning elearning energy ergonomia esercizi faceted search facets formal verification formazione formazione a distanza freeable gateway grafi grafica handimatica hash table home gateway html icf impianti tecnologici informatica information systems ingegneria integration integratione intelligent en interface iso 9999 java java platform enterprise edition java web applications javafx javafx 2 javascript jdbc jsp knowledge representation linee guida linked linked data list lo(d)d lod map metadata model checking model-view-controller mvc nomenclatore tariffario nusoap ontologies ontology ontología open open and distance learning open architecture opensource osgi owl pellet percezione php polihome politecnico di torino prepared statements progettazione integrata progettazione universale programmatori programmazione programmazione in c programming publish and subscribe rdf rdf schema rdfs reasoning recursion schema search searchhandimatica semantic semantic web semantics sensi sensoriale service servlet set sistemi informativi skos sla smart buildings smart buindings smart environments smart home smart homes sorting source sparql spchains state machines stream processing strutture dati swrl technical aids technology tecnologie universita università w3c wai wcag web web application web applications web design web development web information system web programming winbgim xmlhttprequest …less