6079 search results - page 121 / 1216 » Aspect-Oriented Process Engineering |
VMCAI
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. This paper presents history-dependent scheduling, a new technique for reducing the search space in the verification of cryptographic protocols. This technique allows the...
EUROMICRO
2007
IEEE
13 years 12 months ago
2007
IEEE
The presented dynamic Grid service architecture provides a novel and comfortable access for scientific software developers and users without prior knowledge of Grid technologies o...
ARCS
2008
Springer
13 years 10 months ago
2008
Springer
Abstract: Executing complex applications on Grid infrastructures necessitates the guaranteed allocation of multiple resources. Such guarantees are often implemented by means of adv...
SERA
2010
Springer
13 years 6 months ago
2010
Springer
—Information systems are expected to satisfy increasingly ambitious requirements, while reducing time–to–market has become a primary objective. This trend has necessitated th...
SOPR
1998
13 years 7 months ago
1998
Software engineering focuses on producing quality software products through quality processes. The attention to processes dates back to the early 70’s, when software engineers r...