11324 search results - page 2243 / 2265 » Coordination Models and Languages |
GI
2003
Springer
14 years 23 days ago
2003
Springer
Abstract: Die weite Verbreitung von mobilen Ger¨aten und die Entwicklung von mobilen Kommunikationstechnologien erm¨oglichen den Einsatz solcher Ger¨ate f¨ur Aufgaben, die ¨ub...
ICALP
2003
Springer
14 years 23 days ago
2003
Springer
We study algorithmic problems that are motivated by bandwidth trading in next generation networks. Typically, bandwidth trading involves sellers (e.g., network operators) interest...
ICSE
2003
IEEE-ACM
14 years 23 days ago
2003
IEEE-ACM
ct Feature Oriented Programming (FOP) is a design methodology and tools for program synthesis. The goal is to specify a target program in terms of the features that it offers, and ...
IFIP
2003
Springer
14 years 23 days ago
2003
Springer
Bluetooth is a promising wireless technology aiming at supporting electronic devices to be instantly interconnected into short-range ad hoc networks. The Bluetooth medium access co...
HYBRID
2010
Springer
14 years 20 days ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...