1318 search results - page 22 / 264 » The formal semantics of the timeER model |
122
click to vote
DATE
2003
IEEE
15 years 7 months ago
2003
IEEE
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...
111
Voted
SKG
2005
IEEE
15 years 7 months ago
2005
IEEE
In this paper, we propose the Semantic Information Model for Digital Libraries - DLOnto based on the theory of the Semantic Web, and give the formalized definition of and relative ...
107
click to vote
ADBIS
2005
Springer
15 years 7 months ago
2005
Springer
The current period of IT development is characterized by an explosive growth of diverse information representation languages. Applying integration and composition of heterogeneous ...
106
Voted
FMOODS
2000
15 years 3 months ago
2000
We propose a formal real-time semantics for UML statecharts aimed at the requirements level. A requirements-level model assumes perfect technology and has a considerably simpler se...
105
click to vote
IFM
1999
Springer
15 years 6 months ago
1999
Springer
The feature interaction problem is prominent in telephone service development. Through a number of case studies, we have discovered that no single semantic framework is suitable f...