3056 search results - page 75 / 612 » Open Implementation Analysis and Design |
131
Voted
FMCAD
2006
Springer
15 years 7 months ago
2006
Springer
In this paper we formally specify and verify an implementation of the IEEE802.11a standard physical layer based OFDM (Orthogonal Frequency Division Multiplexing) modem using the HO...
125
Voted
KER
2008
15 years 3 months ago
2008
This article surveys existing practical implementations of both defeasible and argumentationbased reasoning engines and associated literature. We aim to summarise the current stat...
118
Voted
AGENTS
1997
Springer
15 years 7 months ago
1997
Springer
To facilitate the rapid development and open system interoperability of autonomous agents we need to carefully specify and effectively implement various classes of agent behaviors...
127
Voted
HCI
2007
15 years 4 months ago
2007
Participative software systems are a new class of software systems whose development does not end at the deployment but requires continued user participation and contribution. They...
108
Voted
EVOW
1999
Springer
15 years 7 months ago
1999
Springer
This paper describes a new approximate approach for checking the correctness of the implementation of a protocol interface, comparing its lowlevel implementation with its high-leve...