1750 search results - page 135 / 350 » Formal multiple-bernoulli models for language modeling |
158
Voted
ICECCS
2005
IEEE
15 years 11 months ago
2005
IEEE
SOFL is a formal language and method for software system analysis, specification and design and it fully supports structured techniques and object-oriented techniques. AOP (Aspect...
187
click to vote
FASE
2008
Springer
15 years 7 months ago
2008
Springer
We introduce a logical verification framework for checking functional properties of service-oriented applications formally specified using the service specification language COWS. ...
154
Voted
ECOOP
2007
Springer
16 years 8 days ago
2007
Springer
Like other software artefacts, metamodels evolve over time. We propose a transformational approach to assist metamodel evolution by stepwise adaptation. In the first part of the p...
140
click to vote
ICALT
2006
IEEE
16 years 5 days ago
2006
IEEE
The scenarization of educational activities, especially those that are going to take place within elearning platforms, has for a number of years represented a major challenge for ...
189
click to vote
TAICPART
2006
IEEE
16 years 3 days ago
2006
IEEE
Testing compositions of web services is complex, due to their distributed nature and asynchronous behaviour. However, research in this field is scarce. We propose a new testing me...