12774 search results - page 2315 / 2555 » A Framework for Proof Systems |
166
Voted
ISICT
2003
15 years 8 months ago
2003
Abstract. The advent of context-aware computing requires a new paradigm in information management. Context information in a computing environment will take the form of disparate an...
170
click to vote
WMI
2001
15 years 8 months ago
2001
The General Packet Radio Service extends the existing GSM mobile communications technology by providing packet switching and higher data rates in order to efficiently access IPbas...
174
click to vote
WOA
2001
15 years 8 months ago
2001
The Mobile Agent (MA) paradigm seems to be a promising solution for the design and development of distributed value-added services. However, mobility has added complexity to the d...
157
click to vote
WSC
2001
15 years 8 months ago
2001
In models of military operations it is important to include the Command and Control (C2) process in order to achieve a realistic simulation of a military force's behaviour an...
226
click to vote
WOA
2004
15 years 8 months ago
2004
Abstract-- In this paper we present the communication architecture of the DALI Logic Programming Agent-Oriented language and we discuss its semantics. We have designed a meta-level...