1393 search results - page 243 / 279 » From Models to Interactive Systems Tool Support and XIML |
189
Voted
TPHOL
2008
IEEE
16 years 15 days ago
2008
IEEE
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...
219
click to vote
PVLDB
2010
15 years 4 months ago
2010
Non-technical users are increasingly adding structures to their data. This gives rise to the need for database design. However, traditional database design is deliberate and heavy...
188
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
The capability of performing architectural exploration has become essential for embedded microprocessor design in System-On-Chip. While many retargetable instruction set (ISA) sim...
182
click to vote
CMS
2010
15 years 6 months ago
2010
While conventional malware detection approaches increasingly fail, modern heuristic strategies often perform dynamically, which is not possible in many applications due to related ...
193
click to vote
SEMWEB
2009
Springer
16 years 20 days ago
2009
Springer
The Ontology Definition Metamodel (ODM) defines a set of UML metamodels and profiles for development of RDF and OWL. The UML profiles in the ODM specification adapt UML notations t...