3564 search results - page 457 / 713 » Evaluating a Formal Modelling Language |
197
Voted
OOPSLA
2004
Springer
16 years 8 days ago
2004
Springer
This paper presents the design of G, a new language specifically created for generic programming. We review and identify important language features of C++ and Haskell in light o...
184
click to vote
ACL
2010
15 years 5 months ago
2010
Automated summarization methods can be defined as "language-independent," if they are not based on any languagespecific knowledge. Such methods can be used for multiling...
173
click to vote
ICOST
2007
Springer
16 years 1 months ago
2007
Springer
This paper formalizes three kinds of safety to be satisfied by networked appliances and services in the emerging home network system (HNS). The local safety is defined by safety ...
174
click to vote
ANSS
2006
IEEE
16 years 1 months ago
2006
IEEE
Selecting the right numerical solver or the most appropriate numerical package for a particular simulation problem it is increasingly difficult for users without an extensive math...
195
click to vote
SACMAT
2006
ACM
16 years 26 days ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...