570 search results - page 86 / 114 » Web-Based Feature Reduction System: A Case Study |
150
Voted
ENTCS
2007
15 years 3 months ago
2007
This paper gives an overview of recent advances in Real-Time Maude. Real-Time Maude extends the Maude rewriting logic tool to support formal specification and analysis of object-...
124
Voted
AOSD
2009
ACM
15 years 10 months ago
2009
ACM
Desktop client applications interact with both local and remote resources. This is both a benefit in terms of the rich features desktop clients can provide, but also a security r...
137
click to vote
DATE
2000
IEEE
15 years 8 months ago
2000
IEEE
-- One of the greatest challenges in C/C++-based design methodology is to efficiently map C/C++ models into hardware. Many of the networking and multimedia applications implemente...
119
Voted
ARCS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We present a GUI-based C++ toolbox that allows for building distributed, multi-modal context recognition systems by plugging together reusable, parameterizable components...
157
click to vote
CSMR
2007
IEEE
15 years 10 months ago
2007
IEEE
A dynamic object process graph is a view on the control flow graph from the perspective of a single object. It has been shown that such a graph can be a useful starting point for...