Sciweavers

500 search results - page 79 / 100
» Thread-Modular Abstraction Refinement
Sort
View
MSE
2005
IEEE
148views Hardware» more  MSE 2005»
15 years 3 months ago
Teaching System-Level Design Using SpecC and SystemC
System-level design of embedded computer systems is essential to manage complexity and enhance designer productivity. Viewing designs at t abstraction levels allows developers to ...
Robert D. Walstrom, Joseph Schneider, Diane T. Rov...
ADBIS
2004
Springer
93views Database» more  ADBIS 2004»
15 years 3 months ago
Query Rewriting Using Views in a Typed Mediator Environment
Abstract. Query rewriting method is proposed for the heterogeneous information integration infrastructure formed by the subject mediator environment. Local as View (LAV) approach t...
Leonid A. Kalinichenko, Dmitry O. Martynov, Sergey...
DAS
2004
Springer
15 years 3 months ago
A Neural Network Classifier for Junk E-Mail
Abstract. Most e-mail readers spend a non-trivial amount of time regularly deleting junk e-mail (spam) messages, even as an expanding volume of such e-mail occupies server storage ...
Ian Stuart, Sung-Hyuk Cha, Charles C. Tappert
FIDJI
2004
Springer
15 years 3 months ago
An MDA-Based Approach for Inferring Concurrency in Distributed Systems
Abstract. When dealing with distributed systems, one of the most important problems that has to be addressed is concurrency. Distributed systems are inherently concurrent, distribu...
Raul Silaghi, Alfred Strohmeier
ICWE
2004
Springer
15 years 3 months ago
MDA applied: From Sequence Diagrams to Web Service Choreography
Abstract. Web Services and Web Service composition languages for Web Service choreography are becoming more and more important in the area for inter-enterprise application and proc...
Bernhard Bauer, Jörg P. Müller