1895 search results - page 240 / 379 » Using ATL for Checking Models |
175
click to vote
FMICS
2007
Springer
15 years 11 months ago
2007
Springer
Message passing using libraries implementing the Message Passing Interface (MPI) standard is the dominant communication mechanism in high performance computing (HPC) applications. ...
147
Voted
DATE
2005
IEEE
15 years 10 months ago
2005
IEEE
Increase in system level modeling has given rise to a need for efficient functional validation of models above cycle accurate level. This paper presents a technique for comparing...
141
click to vote
BPM
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. A configurable process model describes a family of similar process models in a given domain. Such a model can be configured to obtain a specific process model that is sub...
132
Voted
WWW
2005
ACM
16 years 5 months ago
2005
ACM
The difficulty of developing and deploying commercial web applications increases as the number of technologies they use increases and as the interactions between these technologie...
158
click to vote
OWLED
2008
15 years 6 months ago
2008
Product development requires the ability to check design consistency, to verify design properties, and to answer questions about a design's possible implementations. These tas...