1022 search results - page 38 / 205 » Specification of Dynamics for Knowledge-Based Systems |
ADG
2006
Springer
13 years 11 months ago
2006
Springer
We present an application of an automatic theorem proving (ATP) in the verification of constructions made with dynamic geometry software (DGS). Given a specification language for g...
JSW
2008
13 years 7 months ago
2008
Dynamic system reconfiguration techniques are presented that can enable the systematic evolution of software systems due to unanticipated changes in specification or requirements. ...
ICIP
2007
IEEE
14 years 2 months ago
2007
IEEE
Significant power savings can be achieved on voltage/frequency configurable platforms by dynamically adapting the frequency and voltage according to the workload (complexity). Vid...
CIRA
2007
IEEE
14 years 2 months ago
2007
IEEE
— In this paper, a communication-efficient dynamic task scheduling algorithm for a heterogeneous multi-robot system is proposed. To make this task scheduling algorithm to be scal...
WOSS
2004
ACM
14 years 1 months ago
2004
ACM
Self-managed software requires monitoring and code changes to an executing program. One technology that enables such self management is software dynamic translation (SDT), which a...