Sciweavers

2492 search results - page 357 / 499
» An Integrated Rule Modeling Framework
Sort
View
IJCAI
2007
15 years 7 months ago
Feature Based Occupancy Grid Maps for Sonar Based Safe-Mapping
This paper presents a methodology for integrating features within the occupancy grid (OG) framework. The OG maps provide a dense representation of the environment. In particular t...
Amit Kumar Pandey, K. Madhava Krishna, Mainak Nath
JALC
2006
87views more  JALC 2006»
15 years 6 months ago
A Team Automaton Scenario for the Analysis of Security Properties of Communication Protocols
Formal methods are a popular means to specify and verify security properties of a variety of communication protocols. In this article we take a step towards the use of team automa...
Maurice H. ter Beek, Gabriele Lenzini, Marinella P...
JODS
2008
152views Data Mining» more  JODS 2008»
15 years 6 months ago
Deploying Semantic Web Services-Based Applications in the e-Government Domain
Joining up services in e-Government usually implies governmental agencies acting in concert without a central control regime. This requires to the sharing scattered and heterogeneo...
Alessio Gugliotta, John Domingue, Liliana Cabral, ...
165
Voted
CN
2004
85views more  CN 2004»
15 years 6 months ago
Pricing and admission control for QoS-enabled Internet
Over the past ten years, many pricing schemes have been proposed for a QoS-enabled network. Most of the proposed QoS-pricing schemes focus on congestion-sensitive pricing and opti...
Tianshu Li, Youssef Iraqi, Raouf Boutaba
ICWE
2010
Springer
15 years 4 months ago
Business Process Compliance through Reusable Units of Compliant Processes
Compliance management is essential for ensuring that organizational business processes and supporting information systems are in accordance with a set of prescribed requirements or...
David Schumm, Oktay Türetken, Natallia Kokash...