1318 search results - page 34 / 264 » The formal semantics of the timeER model |
108
click to vote
ENTCS
2007
15 years 1 months ago
2007
Documentation of knowledge about biological pathways is often informal and vague, making it difficult to efficiently synthesize the work of others into a holistic understanding of...
114
Voted
ECMDAFA
2005
Springer
15 years 7 months ago
2005
Springer
Model-Integrated Computing (MIC) is an approach to Model-Driven Architecture (MDA), which has been developed primarily for embedded systems. MIC places strong emphasis on the use o...
101
click to vote
SIGSOFT
2001
ACM
16 years 2 months ago
2001
ACM
This article explores a dual approach to real-time software development. Models are written in UML, as this is expected to be relatively easy and economic. Then models are automat...
116
click to vote
VLSID
1999
IEEE
15 years 6 months ago
1999
IEEE
Formal approaches to HW and system design have not been generally adopted, because designers often view the modelling concepts in these approaches as unsuitable for their problems...
113
click to vote
ASWEC
2007
IEEE
15 years 8 months ago
2007
IEEE
—Service-Oriented Computing (SOC) is an emerging paradigm for developing software systems that employ services. Presently there is already much research effort in the areas of se...