5352 search results - page 271 / 1071 » Modeling the socio-cultural context |
178
click to vote
ASM
2008
ASM
15 years 8 months ago
2008
ASM
As systems become ever more complex, verification becomes more main stream. Event-B and Alloy are two formal specification languages based on fairly different methodologies. While...
175
click to vote
IADIS
2008
15 years 8 months ago
2008
Using open e-learning platforms as a tool to support the learning process has become an international tendency. Specially, in order to motivate the achievement of desired competen...
162
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
Abstract. The tool USE (UML-based Specification Environment) supports analysts, designers, and developers in executing UML models and checking OCL constraints and thus enables them...
192
click to vote
ACL
2003
15 years 8 months ago
2003
Phrase level translation models are effective in improving translation quality by addressing the problem of local re-ordering across language boundaries. Methods that attempt to f...
242
click to vote
NCI
2004
15 years 8 months ago
2004
Starting from a modular artificial neural system modelling the integration of several perceptive stimuli, this article proposes a new implementation of the central module performi...