3564 search results - page 241 / 713 » Evaluating a Formal Modelling Language |
174
click to vote
DLOG
2010
15 years 4 months ago
2010
Abstract. UML class diagrams (UCDs) are the de-facto standard formalism for the analysis and design of information systems. By adopting formal language techniques to capture constr...
156
click to vote
CMOT
2007
15 years 6 months ago
2007
Organizations change with the dynamics of the world. To enable organizations to change, certain structures and capabilities are needed. As all processes, a change process has an or...
141
click to vote
TFS
2008
15 years 6 months ago
2008
The paper investigates a feasibility of fuzzy models application in measurement procedures. It considers the problem of measurement information fusion from different sources, when ...
152
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
Model-theoretic semantics is a formal account of the interpretations of legitimate expressions of a language. It is increasingly being used to provide Web markup languages with we...
179
click to vote
ASPLOS
2006
ACM
16 years 16 days ago
2006
ACM
Spatial Computing (SC) has been shown to be an energy-efficient model for implementing program kernels. In this paper we explore the feasibility of using SC for more than small k...