3468 search results - page 580 / 694 » An open logical framework |
MONET
2006
15 years 19 days ago
2006
The Open Spectrum approach to spectrum access can achieve near-optimal utilization by allowing devices to sense and utilize available spectrum opportunistically. However, a naive d...
120
Voted
TPDS
2008
15 years 18 days ago
2008
Real-time image transmission is crucial to an emerging class of distributed embedded systems operating in open network environments. Examples include avionics mission replanning ov...
138
click to vote
ASE
1998
15 years 12 days ago
1998
Software process improvement requires high level formalisms for describing project-specific, organizational and quality aspects. These formalisms must be convenient not only for ...
74
Voted
JODI
2002
15 years 11 days ago
2002
This paper explores the idea of dynamically adding multidestination links to Web pages, based on the context of the pages and users, as a way of assisting Web users in their infor...
129
Voted
DAM
1999
15 years 11 days ago
1999
Several graph problems (e.g., steiner tree, connected domination, hamiltonian path, and isomorphism problem), which can be solved in polynomial time for distance-hereditary graphs...