3706 search results - page 211 / 742 » KtSeqC: System Description |
252
click to vote
ESWS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. In this paper we investigate the transformation of OWL-S process models to ISPL - the system description language for MCMAS, a symbolic model checker for multi agent syst...
162
click to vote
ICDAR
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper describes the handwriting recognition competition held at ICDAR 2009. This competition is based on the RIMES-database, with French written text documents. These documen...
156
click to vote
PDPTA
2000
15 years 8 months ago
2000
- A Unified Modeling Language (UML) description of the MASC model of parallel computation is presented. This UML description identifies MASC objects and specifies various object an...
218
click to vote
NOCS
2007
IEEE
16 years 27 days ago
2007
IEEE
Network-on-Chip (NoC) architectures have a wide variety of parameters that can be adapted to the designer’s requirements. Fast exploration of this parameter space is only possib...
244
click to vote
OHS
2001
Springer
15 years 11 months ago
2001
Springer
This paper presents an XML-based Adaptive Hypermedia Model (XAHM) and its modular architecture, for modelling and supporting Adaptive Hypermedia Systems, i.e. hypertext-based multi...