2357 search results - page 252 / 472 » Computing Refactorings of Behavior Models |
156
Voted
CCGRID
2010
IEEE
14 years 7 months ago
2010
IEEE
- Scientific workflows have become an integral part of cyberinfrastructure as their computational complexity and data sizes have grown. However, the complexity of the distributed i...
127
Voted
ICCS
2003
Springer
15 years 8 months ago
2003
Springer
The paper presents a theory for modeling flow in anisotropic, viscous rock. This theory has originally been developed for the simulation of large deformation processes including t...
125
Voted
WORM
2003
15 years 5 months ago
2003
Due to the fast spreading nature and great damage of Internet worms, it is necessary to implement automatic mitigation, such as dynamic quarantine, on computer networks. Enlighten...
183
Voted
SAC
2008
ACM
15 years 3 months ago
2008
ACM
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed to improve functional software correctness of Java app...
142
Voted
DAC
2007
ACM
16 years 4 months ago
2007
ACM
An effective method for focusing optimization effort on the most important parts of a design is to examine those elements on the critical path. Traditionally, the critical path is...