8201 search results - page 1552 / 1641 » Approaching Manual Intelligence |
138
Voted
MCS
2006
Springer
15 years 3 months ago
2006
Springer
The design of the control software for complex systems is a difficult task. It requires the modeling, the simulation, the integration and the adaptation of a multitude of intercon...
154
click to vote
SOCA
2008
IEEE
15 years 3 months ago
2008
IEEE
There is no doubt that SOA and BPM will continue to evolve dependently for the next ten years. Preparing common research infrastructures will require most important efforts of web ...
116
Voted
IJPP
2007
15 years 3 months ago
2007
As feature sizes shrink, transient failures of on-chip network links become a critical problem. At the same time, many applications require guarantees on both message arrival prob...
149
Voted
STTT
2008
15 years 3 months ago
2008
Abstract This paper is about tool support for knowledgeintensive engineering tasks. In particular, it introduces software technology to assist the design of complex technical syste...
161
Voted
INFORMATICALT
2007
15 years 3 months ago
2007
A modified version of the Bellare and Rogaway (1993) adversarial model is encoded using Asynchronous Product Automata (APA). A model checker tool, Simple Homomorphism Verificatio...