5550 search results - page 280 / 1110 » Different Approaches to Proof Systems |
153
click to vote
DATE
2005
IEEE
16 years 8 days ago
2005
IEEE
— A formal methodology for the analysis of a closed loop clock distribution and active deskewing network is proposed. In this paper an active clock distribution and deskewing net...
219
Voted
MCSS
2009
Springer
15 years 11 months ago
2009
Springer
- In this paper, we investigate a new approach for the spectrum allocation in UWB systems. This approach consists in a cross-layer scheme that takes into consideration the differen...
181
click to vote
ISCC
2008
IEEE
16 years 1 months ago
2008
IEEE
Network monitoring is a complex task that generally requires the use of different tools for specific purposes. This paper describes a flexible network monitoring tool, called Pa...
196
click to vote
ATAL
2003
Springer
15 years 12 months ago
2003
Springer
Most agent systems today are closed and static. That is, one uses Agent-Oriented Software Engineering techniques to build agent systems in which the set of agents is specified ahe...
183
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
Systemic pathways-oriented approaches to analysis of metabolic networks are effective for small networks but are computationally infeasible for genome scale networks. Current comp...