2234 search results - page 343 / 447 » Protocol Implementation Using Integrated Layer Processing |
119
click to vote
JUCS
2007
15 years 1 months ago
2007
Abstract: A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, pro...
137
click to vote
ELECTRONICMARKETS
2011
14 years 8 months ago
2011
Abstract Ambient Assisted Living (AAL) offers possibilities for promising new IT-based health care services that are resulting in new challenges for its design process. We introduc...
133
click to vote
BROADNETS
2006
IEEE
15 years 7 months ago
2006
IEEE
Abstract— A number of events such as hurricanes, earthquakes, power outages can cause large-scale failures in the Internet. These in turn cause anomalies in the interdomain routi...
TACS
1997
Springer
15 years 5 months ago
1997
Springer
We present a type-based technique for the veri cation of deadlock-freedom in asynchronous concurrent systems. Our general approach is to start with a simple interaction category, i...
102
click to vote
ICASSP
2009
IEEE
15 years 5 months ago
2009
IEEE
We introduce a new channel, which consists of an interference channel (IC) in parallel with an interference relay channel (IRC), to analyze the interaction between two selfish and...