2688 search results - page 54 / 538 » A formal semantics for P3P |
TOOLS
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract. Many real-time systems use runtime structural reconfiguration mechanisms based on dynamic creation and destruction of components. To support such features, UML-RT provid...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
We present AceWiki, a prototype of a new kind of semantic wiki using the controlled natural language Attempto Controlled English (ACE) for representing its content. ACE is a subse...
TOOLS
2000
IEEE
14 years 5 hour ago
2000
IEEE
UML is widely used today for modelling complex systems. However, the tools support capabilities for UML is limited, partially due to its lack of precise semantics. There are some ...
EUSFLAT
2009
13 years 5 months ago
2009
Abstract--The paper presents a form of rendering classical mathematical notions by formal theories over suitable t-norm fuzzy logics in such a way that references to real numbers a...
FMCO
2009
Springer
13 years 5 months ago
2009
Springer
The main characteristics of component models is their strict structure enabling better code reuse. Correctness of component composition is well understood formally but existing wor...