4476 search results - page 491 / 896 » Modeling software architectures in the Unified Modeling Lang... |
149
click to vote
CRIWG
2004
15 years 9 months ago
2004
In a cluster of many servers containing heterogeneous multimedia learning material and serving users with different backgrounds (e.g. language, interests, previous knowledge, hardw...
196
click to vote
TCS
2008
15 years 7 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...
209
click to vote
CORR
2002
Springer
15 years 7 months ago
2002
Springer
The Annotation Graph Toolkit (AGTK) is a collection of software which facilitates development of linguistic annotation tools. AGTK provides a database interface which allows appli...
201
click to vote
APL
2000
ACM
15 years 12 months ago
2000
ACM
Although classical object-oriented programming languages provide high-level modeling capacities t data type, inheritance etc.), they remain low-level when it comes to data manipul...
202
click to vote
WADT
2001
Springer
16 years 14 hour ago
2001
Springer
Abstract. We consider the verification of a simple pipelined microprocessor in Maude, by implementing an equational theoretical model of systems. Maude is an equationally-based la...