1049 search results - page 29 / 210 » A Document Based Framework for Smart Object Systems |
116
click to vote
WORDS
2003
IEEE
15 years 10 months ago
2003
IEEE
In this paper, we present the design of a flexible framework for an IP-based network that will support an interactive multimedia (MM) system. The system will enable end users to: ...
166
click to vote
JOT
2008
15 years 5 months ago
2008
Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specif...
158
Voted
INFOCOM
2003
IEEE
15 years 10 months ago
2003
IEEE
Abstract— Replacement policies for general caching applications and Web caching in particular have been discussed extensively in the literature. Many ad-hoc policies have been pr...
141
click to vote
FORTEST
2008
15 years 7 months ago
2008
Testing is one of the costliest aspects of commercial software development. Model-based testing is a promising approach addressing these deficits. At Microsoft, model-based testin...
175
Voted
APCSAC
2004
IEEE
15 years 9 months ago
2004
IEEE
Dynamic optimization presents opportunities for finding run-time bottlenecks and deploying optimizations in statically compiled programs. In this paper, we discuss our current impl...