376 search results - page 58 / 76 » A Controlled Language for the Specification of Contracts |
COMPSAC
2006
IEEE
14 years 24 days ago
2006
IEEE
This paper presents an approach for automated test case generation using a software specification modeled in Statecharts. The steps defined in such approach involve: translation o...
PDCAT
2005
Springer
14 years 7 days ago
2005
Springer
In this paper, we propose a security management middleware in ubiquitous computing environments. This security management should be applicationoriented security and provides user-...
EMISA
2004
Springer
14 years 4 days ago
2004
Springer
: Frameworks for composing Web Services offer a promising approach for realizing enterprise-wide and cross-organizational business applications. With BPEL4WS a powerful composition...
GCC
2004
Springer
14 years 4 days ago
2004
Springer
: This paper presents an authorization solution for resource management and control developing as a part of the China Education and Research Network (CERNET) to perform fine-graine...
GRID
2004
Springer
14 years 3 days ago
2004
Springer
Grid workflow can be defined as the composition of grid application services which execute on heterogeneous and distributed resources in a well-defined order to accomplish a speci...