6836 search results - page 126 / 1368 » Modelling Web-Oriented Architectures |
121
Voted
IGPL
2010
15 years 2 months ago
2010
Researchers studying complex cognition have grown increasingly interested in mapping symbolic cognitive architectures onto subsymbolic brain models. Such a mapping seems essential...
172
Voted
DSD
2010
IEEE
15 years 1 months ago
2010
IEEE
Reconfigurable FPGA based Systems-on-Chip (SoC) architectures are increasingly becoming the preferred solution for implementing modern embedded systems, due to their flexible natur...
139
Voted
IAJIT
2010
15 years 2 months ago
2010
: Web services are considered one of the main technologies which emerged in recent years, they provide an application integration technology that allows business applications to co...
100
Voted
ENTCS
2002
15 years 3 months ago
2002
In this work we present Zeus, a Distributed Model-Checker that evolves from the tool Kronos [8] and that currently can handle backwards computation of TCTLreachability properties ...
158
Voted
SAMOS
2010
Springer
15 years 1 months ago
2010
Springer
—Instruction set simulators (ISS) are vital tools for compiler and processor architecture design space exploration and verification. State-of-the-art simulators using just-in-ti...