Sciweavers

21430 search results - page 69 / 4286
» Abstract Effective Models
Sort
View
ACSD
2003
IEEE
159views Hardware» more  ACSD 2003»
15 years 11 months ago
Case Studies of Model Checking for Embedded System Designs
As modern embedded systems become more integrated and complex, it is crucial to be able to represent systems ple levels of abstraction, so that the design space can be effectively...
Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Wat...
CAISE
2009
Springer
16 years 22 days ago
A Method for Service Identification from Business Process Models in a SOA Approach
Abstract. Various approaches for services development in SOA propose business processes as a starting point. However, there is a lack of systematic methods for services identificat...
Leonardo Guerreiro Azevedo, Flávia Maria Sa...
MOBIS
2008
15 years 7 months ago
Designing and Utilising Business Indicator Systems within Enterprise Models-Outline of a Method
Abstract: The design of effective indicators and indicator systems requires a profound understanding of the relevant business context. Numerous relations and dependencies within an...
Ulrich Frank, David Heise, Heiko Kattenstroth, Han...
TACS
1994
Springer
15 years 10 months ago
Separate Abstract Interpretation for Control-Flow Analysis
Abstract Interpretation for Control-Flow Analysis Yan Mei Tang and Pierre Jouvelot CRI, Ecole des Mines de Paris, France Effect systems and abstract interpretation are two methods ...
Yan Mei Tang, Pierre Jouvelot
SI3D
2006
ACM
16 years 3 days ago
Abstract shade trees
Shade Trees Morgan McGuire George Stathis Hanspeter Pfister Shriram Krishnamurthi Brown University Harvard Extension School MERL Brown University As GPU-powered special effects be...
Morgan McGuire, George Stathis, Hanspeter Pfister,...