1128 search results - page 158 / 226 » Little Engines of Proof |
182
click to vote
ISORC
2007
IEEE
16 years 14 days ago
2007
IEEE
Many emerging applications operate on continuous unbounded data streams and need real-time data services. Providing deadline guarantees for queries over dynamic data streams is a ...
171
click to vote
EMSOFT
2007
Springer
16 years 11 days ago
2007
Springer
There is increasing interest in using general-purpose operating systems, such as Linux, on embedded platforms. It is especially important in embedded systems to use memory effici...
168
click to vote
POLICY
2007
Springer
16 years 9 days ago
2007
Springer
In many Grid services deployments, the clients and servers reside in different administrative domains. Hence, there is a requirement both to discover each other’s authorization ...
150
click to vote
QOSA
2007
Springer
16 years 9 days ago
2007
Springer
To support software architecture evaluation practices, several efforts have been made to provide a basis for comparing and assessing evaluation methods, document various best pract...
155
click to vote
EUROMICRO
2006
IEEE
16 years 7 days ago
2006
IEEE
Instant messaging platforms facilitate coordination in workgroups by providing users with mutual information on their presence and availability, allowing for ad-hoc conversations ...