809 search results - page 93 / 162 » Formal Semantics for the Java Modeling Language |
106
Voted
DATE
2006
IEEE
15 years 8 months ago
2006
IEEE
Most hardware description languages do not enforce determinacy, meaning that they may yield races. Race conditions pose a problem for the implementation, verification, and validat...
107
click to vote
SEMWEB
2004
Springer
15 years 8 months ago
2004
Springer
Semantic Web Services enable the dynamic discovery of services based on a formal, explicit specification of the requester needs. The actual Web Services that will be used to satis...
142
Voted
POPL
2012
ACM
13 years 10 months ago
2012
ACM
There has been great interest in creating probabilistic programming languages to simplify the coding of statistical tasks; however, there still does not exist a formal language th...
119
click to vote
SLE
2009
Springer
15 years 9 months ago
2009
Springer
Model Driven Engineering (MDE) is a promising paradigm for development. It raises the level of abstraction in software development by treating models as primary artifacts. The prac...
110
Voted
ICLP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We propose a generic type system for the Constraint Handling Rules (CHR), a rewriting rule language for implementing constraint solvers. CHR being a high-level extension ...