3564 search results - page 442 / 713 » Evaluating a Formal Modelling Language |
143
click to vote
ECBS
2007
IEEE
15 years 10 months ago
2007
IEEE
Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based systems....
118
click to vote
UM
2010
Springer
15 years 9 months ago
2010
Springer
In this paper, we present the results of a two-month field study of fifteen people using a software tool designed to model changes in a user’s availability. The software uses s...
166
click to vote
ACL
2003
15 years 5 months ago
2003
This paper presents a Chinese word segmentation system that uses improved sourcechannel models of Chinese sentence generation. Chinese words are defined as one of the following fo...
121
click to vote
UM
2005
Springer
15 years 9 months ago
2005
Springer
Closed corpus AH systems demonstrate what is possible to achieve with adaptive hypermedia technologies; however they are impractical for dealing with the large volume of open corpu...
133
click to vote
TCS
2008
15 years 3 months ago
2008
A notation for the functional specification of a wide range of neural networks consisting of temporal or non-temporal neurons, is proposed. The notation is primarily a mathematica...