3564 search results - page 121 / 713 » Evaluating a Formal Modelling Language |
FINTAL
2006
15 years 1 months ago
2006
Abstract. We introduce a method for content-based advertisement selection for personal blog pages, based on combining multiple representations of the blog. The core idea behind the...
FM
1997
Springer
15 years 2 months ago
1997
Springer
At rst sight, real-time and asynchronous message passing like in SDL and ROOM seem to be incompatible. Indeed these languages fail to model real-time constraints accurately. In thi...
AC
2008
Springer
14 years 10 months ago
2008
Springer
The historical context surrounding the birth of the DARPA High Productivity Computing Systems (HPCS) program is important for understanding why federal government agencies launche...
CORR
2008
Springer
14 years 9 months ago
2008
Springer
: Performing dependability evaluation along with other analyses at architectural level allows both making architectural tradeoffs and predicting the effects of architectural decisi...
MLCW
2005
Springer
15 years 3 months ago
2005
Springer
Semantic entailment is the problem of determining if the meaning of a given sentence entails that of another. This is a fundamental problem in natural language understanding that ...