Sciweavers

2256 search results - page 178 / 452
» The Modeling for Dynamic Power Management of Embedded System...
Sort
View
CAINE
2001
15 years 5 months ago
Intelligent Network Control Using Object-Oriented Term-Rewriting
In this paper, we describe the theoretical framework that allows us to use of the expert system shell CLIPS to define the network model in the Distribution Management System (DMS)...
Adam Steele
CAV
2010
Springer
227views Hardware» more  CAV 2010»
15 years 2 months ago
Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...
Alexandre Donzé
HICSS
2009
IEEE
168views Biometrics» more  HICSS 2009»
15 years 10 months ago
Enabling Distributed Model Management Using Semantic Web Technologies
In today’s increasingly dynamic and competitive business environment, organizations strive to leverage their information resources to gain and sustain competitive advantage. Deci...
Amit V. Deokar, Omar F. El-Gayar
ICALT
2006
IEEE
15 years 10 months ago
CoCoFlash: Conzilla, Confolio, and FlashMeeting Integration for Enhanced Professonal Learning
This paper describes the integration of the Conzilla concept browser and the Confolio portfolio management system with the FlashMeeting videoconferencing tool. The result of this ...
Ambjörn Naeve, Matthias Palmér, Mikael...
HT
2004
ACM
15 years 9 months ago
Managing conflict in multi-model adaptive hypertext
Adaptive hypermedia has the goal of contextualizing the display of a hypertext to suit the user and their situation. A variety of aspects of the context can influence the appropri...
Luis Francisco-Revilla, Frank M. Shipman III