5639 search results - page 761 / 1128 » Timed Abstract Non-interference |
132
click to vote
ICMT
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Model-driven software development often involves several related models. When models are updated, the updates need to be propagated across all models to make them consist...
154
click to vote
ICN
2009
Springer
15 years 11 months ago
2009
Springer
Abstract— Current computing systems employ different mechanisms to deal with overload conditions. Of those widely deployed are content adaptation mechanisms whereby the quality l...
133
click to vote
ICSOC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In Service Oriented Architectures (SOAs) services invoked in a composition can be replaced by other services, which are possibly discovered and bound at runtime. Most of ...
133
click to vote
ICWE
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Communication technologies, such as e-mail, instant messaging, discussion forums, blogs, and newsgroups connect people together, forming virtual communities. This concept...
141
click to vote
ISAAC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We investigate the computational complexity of a new combinatorial problem of inferring a smallest possible multi-labeled phylogenetic tree (MUL tree) which is consistent...