Sciweavers

2834 search results - page 301 / 567
» Design Intent-Oriented Modelling Tools for Aesthetic Design
Sort
View
WSCG
2004
144views more  WSCG 2004»
15 years 8 months ago
Free Form Modelling by Curve Features Manipulation
Freeform features (FFF) manipulation is an emerging research area in geometric modelling field, which aims to develop innovative shape modification paradigms, more focused on glob...
Giancarlo Amati, Alfredo Liverani, Gianni Caligian...
SAMOS
2004
Springer
15 years 12 months ago
Modeling Instruction Semantics in ADL Processor Descriptions for C Compiler Retargeting
Today’s Application Specific Instruction-set Processor (ASIP) design methodology often employs centralized Architecture Description Language (ADL) processor models, from which s...
Jianjiang Ceng, Weihua Sheng, Manuel Hohenauer, Ra...
EMSOFT
2008
Springer
15 years 8 months ago
Symbolic analysis for improving simulation coverage of Simulink/Stateflow models
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
Rajeev Alur, Aditya Kanade, S. Ramesh, K. C. Shash...
SACMAT
2010
ACM
15 years 11 months ago
A model of triangulating environments for policy authoring
Policy authors typically reconcile several different mental models and goals, such as enabling collaboration, securing information, and conveying trust in colleagues. The data un...
Kathi Fisler, Shriram Krishnamurthi
CAISE
2004
Springer
15 years 10 months ago
Simple and Minimum-Cost Satisfiability for Goal Models
Abstract. Goal models have been used in Computer Science in order to represent software requirements, business objectives and design qualities. In previous work we have presented a...
Roberto Sebastiani, Paolo Giorgini, John Mylopoulo...