392 search results - page 40 / 79 » Privacy Requirement Modeling and Verification in Cloud Compu... |
ENTCS
2006
13 years 10 months ago
2006
High performance scientific computing software is of critical international importance as it supports scientific explorations and engineering. Software development in this area is...
CAISE
1999
Springer
14 years 3 months ago
1999
Springer
Abstract. The foundation of a process model lies in its control flow specifications. Using a generic process modeling language for workflows, we show how a control flow specificati...
BIS
2008
14 years 6 days ago
2008
Abstract. A common task in business process modelling is the verification of process models regarding syntactical and structural errors. While the former might be checked with low ...
EUROMICRO
2000
IEEE
14 years 3 months ago
2000
IEEE
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
SMI
2007
IEEE
14 years 5 months ago
2007
IEEE
In order to compute texture atlases with low stretch and hardly visible texture seams existing texture mapping tools pose high demands on the quality of surface representations li...