3814 search results - page 621 / 763 » Operating system support for multimedia systems |
173
click to vote
ACL2
2006
ACM
15 years 10 months ago
2006
ACM
One of ACL2’s most interesting features is that it is executable, so users can run the programs that they verify, and debug them during verification. In fact, the ACL2 implemen...
150
click to vote
MOBIDE
2006
ACM
15 years 10 months ago
2006
ACM
Composition of temporal and spatial properties of real world objects in a unified data framework results into Moving Object Databases (MOD). MODs are able to process, manage and a...
131
click to vote
EDOC
2005
IEEE
15 years 10 months ago
2005
IEEE
The management of IT landscapes consisting of thousands of business applications, different middleware systems, and supporting various business processes is a challenge for modern...
155
click to vote
MIDDLEWARE
2005
Springer
15 years 10 months ago
2005
Springer
Group management service plays a key role in wireless sensor networks (WSNs) as it provides support to high level middleware services such as object tracking, security, fault-tole...
177
click to vote
NOSSDAV
2005
Springer
15 years 10 months ago
2005
Springer
The cost savings and novel features associated with Voice over IP (VoIP) are driving its adoption by service providers. Such a transition however can successfully happen only if t...