Sciweavers

5622 search results - page 667 / 1125
» Solving architectural modelling problems using knowledge
Sort
View
RTCSA
1997
IEEE
15 years 11 months ago
Behavior verification of hybrid real-time requirements by qualitative formalism
Although modern control theories have been successfully applied to solve a variety of problems, they are often mathematically and physically too specific to describe and analyze t...
Jang-Soo Lee, Sung Deok Cha
UML
2000
Springer
15 years 10 months ago
Extending OCL to include Actions
The UML's Object Constraint Language provides the modeller of object-oriented systems with ways to express the semantics of a model in a precise and declarative manner. The co...
Anneke Kleppe, Jos Warmer
TSP
2008
123views more  TSP 2008»
15 years 7 months ago
A Rough Programming Approach to Power-Balanced Instruction Scheduling for VLIW Digital Signal Processors
The focus of this paper is on VLIW instruction scheduling that minimizes the variation of power consumed by the processor during the execution of a target program. We use rough set...
Shu Xiao, Edmund Ming-Kit Lai
ARTMED
2000
105views more  ARTMED 2000»
15 years 7 months ago
Planning treatment of ischemic heart disease with partially observable Markov decision processes
Diagnosis of a disease and its treatment are not separate, one-shot activities. Instead, they are very often dependent and interleaved over time. This is mostly due to uncertainty...
Milos Hauskrecht, Hamish S. F. Fraser
SMA
2010
ACM
206views Solid Modeling» more  SMA 2010»
15 years 5 months ago
A generalization for stable mixed finite elements
Mixed finite element methods solve a PDE involving two or more variables. In typical problems from electromagnetics and electrodiffusion, the degrees of freedom associated to the ...
Andrew Gillette, Chandrajit L. Bajaj