3801 search results - page 601 / 761 » An Approach to Modeling Software Safety |
DATE
2002
IEEE
15 years 3 months ago
2002
IEEE
The systematic design of a high-speed, high-accuracy Nyquist A/D converter is proposed. The presented design methodology covers the complete flow and is supported by software tool...
108
click to vote
AOSE
2001
Springer
15 years 2 months ago
2001
Springer
In this paper, we present a social model for software agent conversations for action based on social commitments and their negotiation. We depart from the premises that conversati...
AGENTCL
2000
Springer
15 years 2 months ago
2000
Springer
In this paper we define the concept of conversation policies: declarative specifications that govern communications between software agents using an agent communication language. ...
80
Voted
HT
2007
ACM
15 years 1 months ago
2007
ACM
Customers are driving down lead times for software, especially for Web applications, to only a few months. While a number of hypertext design models exist, they do not address the...
ACSAC
2001
IEEE
15 years 1 months ago
2001
IEEE
We present an approach for controlling access to data publishers in the framework of Web-based information services. The paper presents a model for enforcing access control regula...