Sciweavers

659 search results - page 75 / 132
» Binding as sets of scopes
Sort
View
IEEESCC
2008
IEEE
16 years 17 days ago
A 3-level e-Business Registry Meta Model
Business partners willing to do business electronically with each other must reach an agreement (1) on the economic level, (2) on the inter-organizational process choreography, an...
Christian Huemer, Philipp Liegl, Rainer Schuster, ...
ICON
2007
IEEE
16 years 14 days ago
Fast Duplicate Address Detection for Mobile IPv6
Several components contribute to handover delay of Mobile IPv6, namely, movement detection time, address configuration time, binding registration time, and route optimization time....
Panita Pongpaibool, Pahol Sotthivirat, Sukumal I. ...
ECOOP
2007
Springer
16 years 10 days ago
A Staged Static Program Analysis to Improve the Performance of Runtime Monitoring
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Our work is based on tracematches, an extension to...
Eric Bodden, Laurie J. Hendren, Ondrej Lhotá...
IMSCCS
2006
IEEE
16 years 5 days ago
Estimation Of Cross-Hybridization Signals Using Support Vector Regression
Microarray technology is a powerful biotechnology tool which allows researchers to simultaneously evaluate the expression of thousands of genes, if not the entire expressed genome...
Yijun Sun, Li Liu, Mick Popp, William G. Farmerie
TPHOL
2005
IEEE
15 years 11 months ago
Mechanized Metatheory for the Masses: The PoplMark Challenge
Abstract. How close are we to a world where every paper on programming languages is accompanied by an electronic appendix with machinechecked proofs? We propose an initial set of b...
Brian E. Aydemir, Aaron Bohannon, Matthew Fairbair...