Sciweavers

2688 search results - page 60 / 538
» A formal semantics for P3P
Sort
View
DATE
2003
IEEE
128views Hardware» more  DATE 2003»
14 years 28 days ago
Flexible and Formal Modeling of Microprocessors with Application to Retargetable Simulation
Given the growth in application-specific processors, there is a strong need for a retargetable modeling framework that is capable of accurately capturing complex processor behavi...
Wei Qin, Sharad Malik
ACSD
1998
IEEE
105views Hardware» more  ACSD 1998»
13 years 12 months ago
Visual Formalisms Revisited
The development of an interactive application is a complex task that has to consider data, behavior, intercommunication, architecture and distribution aspects of the modeled syste...
Radu Grosu, Gheorghe Stefanescu, Manfred Broy
COLING
1996
13 years 9 months ago
Lean Formalisms, Linguistic Theory and Applications. Grammar Development in ALEP
This paper describes results achieved in a project which addresses the issue of how the gap between uni cation-based grammars as a scienti c concept and real world applications ca...
Paul Schmidt, Axel Theofilidis, Sibylle Rieder, Th...
DLOG
2010
13 years 5 months ago
Towards Formal Comparison of Ontology Linking, Mapping and Importing
Multiple distributed and modular ontology representation frameworks have recently appeared. They typically extend Description Logics (DL), with new constructs to represent relation...
Martin Homola, Luciano Serafini
SOSYM
2010
119views more  SOSYM 2010»
13 years 2 months ago
Formal specification of non-functional properties of component-based software systems
Component-based software engineering (CBSE) is viewed as an opportunity to deal with the increasing complexity of modern-day software. Along with CBSE comes the notion of component...
Steffen Zschaler