659 search results - page 75 / 132 » Binding as sets of scopes |
98
Voted
IEEESCC
2008
IEEE
15 years 7 months ago
2008
IEEE
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...
87
Voted
ICON
2007
IEEE
15 years 7 months ago
2007
IEEE
Several components contribute to handover delay of Mobile IPv6, namely, movement detection time, address configuration time, binding registration time, and route optimization time....
109
Voted
ECOOP
2007
Springer
15 years 6 months ago
2007
Springer
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...
83
Voted
IMSCCS
2006
IEEE
15 years 6 months ago
2006
IEEE
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...
93
Voted
TPHOL
2005
IEEE
15 years 6 months ago
2005
IEEE
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...