22698 search results - page 3906 / 4540 » Modeling in Software Engineering |
164
Voted
ISW
2001
Springer
15 years 11 months ago
2001
Springer
We present the adaptation of our model for the validation of key distribution and authentication protocols to address specific needs of protocols for electronic commerce. The two ...
208
click to vote
AGENTCL
2000
Springer
15 years 11 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. ...
180
click to vote
DIAGRAMS
2000
Springer
15 years 11 months ago
2000
Springer
Spider diagram systems provide a visual language that extends the popular and intuitive Venn diagrams and Euler circles. Designed to complement object-oriented modelling notations ...
212
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
Many numerical solutions of large scale simulation models require finer discretizations in some regions of the computational grid. When this region is not known in advance, adapti...
190
click to vote
SIGMETRICS
1998
ACM
15 years 11 months ago
1998
ACM
This paper reports on a set of experiments that measure the amount of CPU processing needed to decode MPEGcompressed video in software. These experiments were designed to discover...