4181 search results - page 224 / 837 » Evaluating Usefulness for Dynamic Classification |
129
click to vote
ISORC
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper describes an extension to the componentbased programming model to support real-time dynamic guarantee for distributed applications. The extended model aims to include a...
157
click to vote
ITCC
2005
IEEE
15 years 10 months ago
2005
IEEE
Mobile Ad-hoc Networks (MANET’s) have recently attracted a lot of attention in the research community as well as the industry. This technology has become increasingly important ...
142
click to vote
ISPASS
2005
IEEE
15 years 10 months ago
2005
IEEE
Simulation-based microarchitecture research is often hindered by the slow speed of simulators. In this work, we propose a novel statistical technique to identify highly representa...
145
click to vote
VSTTE
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. The Composite design pattern is an exemplar of specification and verification challenges for sequential object-oriented programs. Region logic is a Hoare logic augmente...
116
click to vote
CHI
2009
ACM
16 years 5 months ago
2009
ACM
In this Special Interest Group (SIG) we plan to focus on discussions and activities surrounding the design of technologies to support families. Many researchers and designers stud...