Sciweavers

1177 search results - page 75 / 236
» A review of function modeling: Approaches and applications
Sort
View
ICCAD
1998
IEEE
82views Hardware» more  ICCAD 1998»
15 years 10 months ago
Symbolic model checking of process networks using interval diagram techniques
In this paper, an approach to symbolic model checking of process networks is introduced. It is based on interval decision diagrams (IDDs), a representation of multi-valued functio...
Karsten Strehl, Lothar Thiele
CDC
2010
IEEE
160views Control Systems» more  CDC 2010»
15 years 1 months ago
Model-on-Demand predictive control for nonlinear hybrid systems with application to adaptive behavioral interventions
This paper presents a data-centric modeling and predictive control approach for nonlinear hybrid systems. System identification of hybrid systems represents a challenging problem b...
Naresh N. Nandola, Daniel E. Rivera
MIDDLEWARE
2004
Springer
15 years 11 months ago
Developing and Managing Software Components in an Ontology-Based Application Server
Application servers provide many functionalities commonly needed in the development of a complex distributed application. So far, the functionalities have mostly been developed an...
Daniel Oberle, Andreas Eberhart, Steffen Staab, Ra...
ICAC
2005
IEEE
15 years 11 months ago
Resource Allocation for Autonomic Data Centers using Analytic Performance Models
Large data centers host several application environments (AEs) that are subject to workloads whose intensity varies widely and unpredictably. Therefore, the servers of the data ce...
Mohamed N. Bennani, Daniel A. Menascé
IV
2008
IEEE
99views Visualization» more  IV 2008»
16 years 18 days ago
Visualization Enhanced Semantic Wikis for Patent Information
In this paper we present a new approach for using semantic wikis for collaborative patent search and annotation. We describe an extension that allows integrating interactive visua...
Mark Giereth, Thomas Ertl