Sciweavers

3008 search results - page 416 / 602
» Mechanisms for Importing Modules
Sort
View
LCN
2007
IEEE
16 years 21 days ago
Modeling and Performance Analysis of Telephony Gateway REgistration Protocol
Abstract—Telephony gateways are devices that interface between IP telephony networks and the PSTN. A telephony proxy or location server (LS) that attempts to connect a call for a...
Kushal Kumaran, Anirudha Sahoo
AGTIVE
2007
Springer
16 years 21 days ago
A Single-Step Term-Graph Reduction System for Proof Assistants
In this paper, we will define a custom term-graph reduction system for a simplified lazy functional language. Our custom system is geared towards flexibility, which is accomplis...
Maarten de Mol, Marko C. J. D. van Eekelen, Rinus ...
APNOMS
2007
Springer
16 years 20 days ago
A Routing Scheme for Supporting Network Mobility of Sensor Network Based on 6LoWPAN
Network Mobility (NEMO) and IPv6 over Low power Wireless PAN (6LoWPAN) protocols are the two significant important technologies in the current networking research areas and seem to...
Jin Ho Kim, Choong Seon Hong, Koji Okamura
BPM
2007
Springer
153views Business» more  BPM 2007»
16 years 20 days ago
Compliance Aware Business Process Design
Historically, business process design has been driven by business objectives, specifically process improvement. However this cannot come at the price of control objectives which s...
Ruopeng Lu, Shazia Wasim Sadiq, Guido Governatori
BTW
2007
Springer
109views Database» more  BTW 2007»
16 years 20 days ago
Using Aspect-Orientation to Manage Database Statistics
: Database-internal statistics are very important for cost-based query optimizers. Only if an optimizer has accurate statistical information about data, it provides excellent execu...
Uwe Hohenstein