Sciweavers

6306 search results - page 1089 / 1262
» Space, Time, and the Use of Language
Sort
View
ACMICEC
2004
ACM
205views ECommerce» more  ACMICEC 2004»
15 years 12 months ago
M-Modeler: a framework implementation for modeling m-commerce applications
At the present time, the use of mobile technology in business, is becoming an opportunity to generate competitive advantages within organization environments. Mobile technology he...
Ana Hilda Morales-Aranda, Oscar Mayora-Ibarra, San...
ACOM
2004
Springer
15 years 12 months ago
Toward a Suite of Performatives Based Upon Joint Intention Theory
Agent communication languages defined using joint intention theory have enjoyed a long research history. A number of performatives have been defined and refined in this literature ...
Marcus J. Huber, Sanjeev Kumar, David McGee
ARGMAS
2004
Springer
15 years 12 months ago
An Argument-Based Framework to Model an Agent's Beliefs in a Dynamic Environment
Abstract. One of the most difficult problems in multiagent systems involves representing knowledge and beliefs of agents in dynamic environments. New perceptions modify an agent’...
Marcela Capobianco, Carlos Iván Chesñ...
TCC
2004
Springer
173views Cryptology» more  TCC 2004»
15 years 12 months ago
Soundness of Formal Encryption in the Presence of Active Adversaries
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...
Daniele Micciancio, Bogdan Warinschi
IEEEAMS
2003
IEEE
15 years 11 months ago
Programming Systems for Autonomy
This paper describes a new approach to programming autonomic systems. Autonomic functions are integrated into element objects at design time using a special language called JSpoon...
Alexander V. Konstantinou, Yechiam Yemini
« Prev « First page 1089 / 1262 Last » Next »