Sciweavers

16216 search results - page 283 / 3244
» Effective Modeling with Constraints
Sort
View
FAC
2008
178views more  FAC 2008»
15 years 6 months ago
Modeling and validating Mondex scenarios described in UML and OCL with USE
This paper describes the Mondex case study with UML class diagrams and restricting OCL constraints. The constraints have been formulated either as OCL class invariants or as OCL pr...
Mirco Kuhlmann, Martin Gogolla
SAC
2010
ACM
15 years 7 months ago
Graph-based verification of static program constraints
Software artifacts usually have static program constraints and these constraints should be satisfied in each reuse. In addition to this, the developers are also required to satisf...
Selim Ciraci, Pim van den Broek, Mehmet Aksit
CVPR
2004
IEEE
16 years 8 months ago
Inference of Multiple Subspaces from High-Dimensional Data and Application to Multibody Grouping
Multibody grouping is a representative of applying subspace constraints in computer vision tasks. Under linear projection models, feature points of multibody reside in multiple su...
Zhimin Fan, Jie Zhou, Ying Wu
ICCAD
2001
IEEE
127views Hardware» more  ICCAD 2001»
16 years 3 months ago
What is the Limit of Energy Saving by Dynamic Voltage Scaling?
Dynamic voltage scaling (DVS) is a technique that varies the supply voltage and clock frequency based on the computation load to provide desired performance with the minimal amoun...
Gang Qu
ICPADS
2007
IEEE
16 years 1 months ago
Optimization on distributed user management in Wireless Sensor Networks
In this paper, we address one of the Wireless Sensor Network (WSN) management problems – optimization on the execution of multiple commands. The objective of the paper is to pro...
MingJian Tang, Jinli Cao