9006 search results - page 1288 / 1802 » Modeling Software |
157
click to vote
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 ...
205
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. ...
206
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...
183
Voted
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...
194
click to vote
ASSETS
2007
ACM
15 years 11 months ago
2007
ACM
Computers offer valuable assistance to people with physical disabilities. However designing human-computer interfaces for these users is complicated. The range of abilities is mor...