222 search results - page 38 / 45 » Goal based agent-oriented software modeling |
CSFW
2010
IEEE
13 years 11 months ago
2010
IEEE
—We propose a formal model of web security based straction of the web platform and use this model to analyze the security of several sample web mechanisms and applications. We id...
ISSTA
2000
ACM
13 years 12 months ago
2000
ACM
Increasing numbers of software developers are using the Unified Modeling Language (UML) and associated visual modeling tools as a basis for the design and implementation of their ...
CIKM
2011
Springer
12 years 7 months ago
2011
Springer
Today, a number of algorithms exist for constructing tag hierarchies from social tagging data. While these algorithms were designed with ontological goals in mind, we know very li...
SIGDOC
2000
ACM
13 years 12 months ago
2000
ACM
∗ DSTOP, the Design Support Tool for Operating Procedures, is a relatively simple software tool for support of designers of new interfaces and their procedures for use. DSTOP is ...
WORDS
2005
IEEE
14 years 1 months ago
2005
IEEE
Major computer companies and government agencies are adopting Web Services (WS) technology. Web services must ensure interoperability and security, and be reliable and trustworthy...