619 search results - page 74 / 124 » Formal Methods Meet Domain Specific Languages |
FMICS
2010
Springer
15 years 28 days ago
2010
Springer
Abstract. The FlexRay standard, developed by a cooperation of leading companies in the automotive industry, is a robust communication protocol for distributed components in modern ...
109
click to vote
POPL
2010
ACM
15 years 2 months ago
2010
ACM
Angelic nondeterminism can play an important role in program development. It simplifies specifications, for example in deriving programs with a refinement calculus; it is the form...
110
click to vote
NLDB
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In the paper we present a method that allows an extraction of singleword terms for a specific domain. At the next stage these terms can be used as candidates for multi-wo...
AI
2006
Springer
14 years 12 months ago
2006
Springer
This paper demonstrates how machine learning methods can be applied to deal with a realworld decipherment problem where very little background knowledge is available. The goal is ...
FLAIRS
2004
15 years 1 months ago
2004
Effective personalization is greatly demanded in highly heterogeneous and diverse e-commerce domain. In our approach we rely on the idea that an effective personalization techniqu...