1128 search results - page 158 / 226 » Little Engines of Proof |
131
Voted
ISORC
2007
IEEE
15 years 7 months 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 ...
110
Voted
EMSOFT
2007
Springer
15 years 6 months 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...
98
Voted
POLICY
2007
Springer
15 years 6 months 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 ...
102
Voted
QOSA
2007
Springer
15 years 6 months 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...
EUROMICRO
2006
IEEE
15 years 6 months 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 ...