Sciweavers

1301 search results - page 104 / 261
» Specifications via Realizability
Sort
View
WOA
2000
15 years 5 months ago
HEMASL: A Flexible Language to Specify Heterogeneous Agents
In the realization of agent-based applications the developer generally needs to use heterogeneous agent architectures, so that each application component can optimally perform its...
Simone Marini, Maurizio Martelli, Viviana Mascardi...
102
Voted
ANLP
1994
68views more  ANLP 1994»
15 years 5 months ago
Practical Issues in Automatic Documentation Generation
PLANDoc, a system under joint development by Columbia and Bellcore, documents the activity of planning engineers as they study telephone routes. It takes as input a trace of the e...
Kathleen McKeown, Karen Kukich, James Shaw
141
Voted
CORR
2010
Springer
140views Education» more  CORR 2010»
15 years 3 months ago
Energy Optimization across Training and Data for Multiuser Minimum Sum-MSE Linear Precoding
This paper considers minimum sum mean-squared error (sum-MSE) linear transceiver designs in multiuser downlink systems with imperfect channel state information. Specifically, we de...
Adam J. Tenenbaum, Raviraj S. Adve
114
Voted
IJNSEC
2008
110views more  IJNSEC 2008»
15 years 3 months ago
Security Measures and Weaknesses of the GPRS Security Architecture
This paper presents an evaluation of the security architecture employed in the General Packet Radio Services (GPRS). More specifically, the security measures applied to protect th...
Christos Xenakis
191
Voted
JSS
2008
163views more  JSS 2008»
15 years 3 months ago
CVM - A communication virtual machine
The convergence of data, voice, and multimedia communication over digital networks, coupled with continuous improvement in network capacity and reliability has resulted in a proli...
Yi Deng, Seyed Masoud Sadjadi, Peter J. Clarke, Va...