Sciweavers

1329 search results - page 114 / 266
» The Many Dimensions of the Software Process
Sort
View
COMPSAC
2004
IEEE
14 years 27 days ago
Implementing Hierarchical Features in a Graphically Based Formal Modelling Language
Many developers who could benefit from building and analysing formal models of their systems are deterred from doing so by the process algebra style input languages of formal mode...
Peter Henderson, Robert John Walters, Stephen Crou...
ECTEL
2008
Springer
13 years 11 months ago
Evaluating Spatial Knowledge through Problem-Solving in Virtual Learning Environments
Modeling the cognitive processes of learners is fundamental to build educational software that are autonomous and that can provide highly tailored assistance during learning [3]. F...
Philippe Fournier-Viger, Roger Nkambou, Andr&eacut...
TSD
2007
Springer
14 years 3 months ago
Accurate Unlexicalized Parsing for Modern Hebrew
Many state-of-the-art statistical parsers for English can be viewed as Probabilistic Context-Free Grammars (PCFGs) acquired from treebanks consisting of phrase-structure trees enri...
Reut Tsarfaty, Khalil Sima'an
IOLTS
2006
IEEE
100views Hardware» more  IOLTS 2006»
14 years 3 months ago
A Note on Error Detection in an RSA Architecture by Means of Residue Codes
Recently, various attacks have been proposed against many cryptosystems, exploiting deliberate error injection during the computation process. In this paper, we add a residue-base...
Luca Breveglieri, Paolo Maistri, Israel Koren
BIRTHDAY
2010
Springer
13 years 8 months ago
The Architecture Description Language MoDeL
m, modules, types and operations), different kinds of abstractions (functional/data, types/objects etc.) without falling into a loose collection of diagram languages. Considering a...
Peter Klein