10568 search results - page 419 / 2114 » Computer Intelligence and Formalization |
115
click to vote
HICSS
2002
IEEE
15 years 9 months ago
2002
IEEE
Agent-based on-line negotiation technology has the potential to radically change the way e-business is conducted. In this paper, we present a formal model for autonomous agents to...
141
click to vote
VL
1998
IEEE
15 years 9 months ago
1998
IEEE
We introduce visual graphs as an intermediate repren between concrete visual syntax and abstract graph syntax. In a visual graph some nodes are shown as geometric figures, and som...
128
click to vote
SACRYPT
1998
Springer
15 years 9 months ago
1998
Springer
In this paper, we present a simple method for generating random-based signatures when random number generators are either unavailable or of suspected quality (malicious or accident...
112
click to vote
ADC
1995
Springer
15 years 8 months ago
1995
Springer
Even if high-level query languages are used, query formulation may cause problems. This is notably so in case of large and complex application domains. Typical examples of these k...
135
click to vote
ISTA
2003
15 years 6 months ago
2003
: A new approach of building enterprise distributed applications for layer of business rules as standard part of architecture is proposed in this paper. The approach uses symbolic ...