5101 search results - page 197 / 1021 » Capturing Context Requirements |
TWC
2011
13 years 3 months ago
2011
—The wide scale deployment of cooperative vehicular ad-hoc networks will require the design of efficient congestion control policies that guarantee stable and reliable communica...
PCM
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Achievement of museum guide systems, in physical and virtual worlds, providing the personalization and context awareness features requires the prior analysis and identi...
TLCA
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. In 1994 Herbelin started and partially achieved the programme of showing that, for intuitionistic implicational logic, there is a Curry-Howard interpretation of sequent c...
REFLECTION
2001
Springer
14 years 20 days ago
2001
Springer
This article investigates the security problems raised by the use of proxy-based runtime meta-object protocols (MOPs) for Java and provides an approach for making meta-level code t...
ICWSM
2008
13 years 9 months ago
2008
The research described here is part of a larger project with the objective of determining if a writer believes a proposition to be true or false. This task requires a deep underst...