5550 search results - page 362 / 1110 » Different Approaches to Proof Systems |
175
click to vote
AC
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. A mathematical semantics is proposed for the notion of architectural connector, in the style defined by Allen and Garlan, that builds on Goguen’s categorical approach t...
193
click to vote
IJCNN
2000
IEEE
15 years 11 months ago
2000
IEEE
In the field of pattern recognition, the combination of an ensemble of neural networks has been proposed as an approach to the development of high performance image classification...
200
click to vote
MABS
1998
Springer
15 years 11 months ago
1998
Springer
In many domains, agent-based system modeling competes with equation-based approaches that identify system variables and evaluate or integrate sets of equations relating these varia...
186
click to vote
EUROMICRO
2009
IEEE
16 years 1 months ago
2009
IEEE
One of the challenges in development of embedded systems is to cope with hardware and software components simultaneously. Often is their integration cumbersome due to their incomp...
162
click to vote
HOTOS
2009
IEEE
15 years 10 months ago
2009
IEEE
Migrating a live, running operating system from one machine to another has proven to be an invaluable tool over the past few years. Today, however, the only way to migrate an OS i...