483 search results - page 43 / 97 » A Framework for Web-based Research Support Systems |
ERCIMDL
2008
Springer
13 years 10 months ago
2008
Springer
MultiMatch is a 30 month targeted research project under the Sixth Framework Programme, supported by the unit for Content, Learning and Cultural Heritage (Digicult) of the Informat...
CAV
2009
Springer
14 years 21 days ago
2009
Springer
tic modalities for correctness [16]. The release described in this abstract is a complete rebuild of a preliminary experimental checker [14]. The model input language includes vari...
TOOLS
2010
IEEE
14 years 1 months ago
2010
IEEE
Meta-modelling is at the core of Model-Driven Engineering, where it is used for language engineering and domain modelling. The OMG’s Meta-Object Facility is the standard framewor...
RTCSA
2006
IEEE
14 years 2 months ago
2006
IEEE
To support high-performance and low-power for multimedia applications and for hand-held devices, embedded VLIW DSP processors are of research focus. With the tight resource constr...
CLUSTER
2004
IEEE
14 years 14 days ago
2004
IEEE
Many of the modern networks used to interconnect nodes in cluster-based computing systems provide network interface cards (NICs) that offer programmable processors. Substantial re...