4099 search results - page 205 / 820 » A Framework for Interactive Proof |
187
click to vote
SECON
2007
IEEE
15 years 12 months ago
2007
IEEE
Dynamic spectrum access has become a promising approach to fully utilize the scarce spectrum resources. In a dynamically changing spectrum environment, it is very important to desi...
159
click to vote
IEEECIT
2005
IEEE
15 years 11 months ago
2005
IEEE
Component based software development provides an architectural way for dynamic reconfiguration. Interactions between components are explicitly represented by connectors, then reco...
128
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
This paper presents an approach for ontology translation in the O3F ontology framework and a concrete implemented agent that translates between ontologies expressed in OWL. In the...
139
click to vote
SIGCSE
2004
ACM
15 years 11 months ago
2004
ACM
A framework for producing dynamic data structure visualizations within the context of a lightweight IDE is described. Multiple synchronized visualizations of a data structure can ...
171
click to vote
SAC
2003
ACM
15 years 11 months ago
2003
ACM
A fundamental issue in the engineering of coordination models is n coordination abstractions that are correct with respect to the specification of the coordination model they imp...