2695 search results - page 103 / 539 » A Visual Approach to Validating System Level Designs |
165
click to vote
ASM
2008
ASM
15 years 5 months ago
2008
ASM
Abstract. We survey the use of the Abstract State Machines (ASM) method for a rigorous foundation of modeling and validating web services, workflows, interaction patterns and busin...
128
Voted
3DPVT
2006
IEEE
15 years 9 months ago
2006
IEEE
We describe an interactive system that models regions of an urban environment, such as a group of tall buildings. Traditional image-based modeling methods often cannot model such ...
140
click to vote
FAC
2010
15 years 19 days ago
2010
Code and design smells are recurring design problems in software systems that must be identified to avoid their possible negative consequences on development and maintenance. Conse...
127
click to vote
ASPDAC
2004
ACM
15 years 7 months ago
2004
ACM
- Each year tens of billions of Dollars are wasted by the microelectronics industry because of missed deadlines and delayed design projects. These delays are partially due to desig...
124
Voted
CCGRID
2004
IEEE
15 years 7 months ago
2004
IEEE
The Grid approach provides the ability to access and use distributed resources as part of virtual organizations. The emerging Grid infrastructure gives rise to a class of scientif...