2253 search results - page 16 / 451 » An Approach to Specifying Software Frameworks |
KBSE
2005
IEEE
14 years 2 months ago
2005
IEEE
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
ICTAI
2002
IEEE
14 years 1 months ago
2002
IEEE
: Mobile agent structuring is an increasingly practiced branch of distributed computing software engineering. In this paper we discuss the major issues encountered in producing rea...
EMSOFT
2004
Springer
14 years 2 months ago
2004
Springer
Embedded devices like smart cards can now run multiple interacting applications. A particular challenge in this domain is to dynamically integrate diverse security policies. In th...
ICSOC
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. The Web and Grid services frameworks provide a promising infrastructure for cross-organizational use of online services. The use of services in large-scale and cross-orga...
BDIM
2007
IEEE
13 years 8 months ago
2007
IEEE
In this paper we present an approach for specifying respect to security. When an organization wants to secure and prioritizing information security requirements in organiza- its sy...