Sciweavers

1929 search results - page 299 / 386
» A Problem Space Approach to Expert System Specification
Sort
View
CAISE
2008
Springer
15 years 1 months ago
Improving Data Independence, Efficiency and Functional Flexibility of Integration Platforms
The concept of Enterprise Application Integration (EAI) is widely used for integrating heterogeneous applications and systems by message-based communication. Typically, EAI servers...
Matthias Böhm, Jürgen Bittner, Dirk Habi...
VLSID
2008
IEEE
138views VLSI» more  VLSID 2008»
16 years 7 days ago
Memory Architecture Exploration Framework for Cache Based Embedded SOC
Today's feature-rich multimedia products require embedded system solution with complex System-on-Chip (SoC) to meet market expectations of high performance at a low cost and l...
T. S. Rajesh Kumar, C. P. Ravikumar, R. Govindaraj...
MICCAI
2003
Springer
16 years 23 days ago
Mesh Topology Identification for Mass-Spring Models
In surgical simulations, the two most popular approaches to model soft tissues are Finite Element Method (FEM) and Mass-Spring System (MSS). Main advantages of FEM are accuracy and...
Gábor Székely, Gérald Bianchi...
SAC
2005
ACM
15 years 5 months ago
Realizing the leasing concept in CORBA-based applications
Although in recent years the concept of leasing has become more and more popular in the field of distributed object-oriented systems, it has not yet been incorporated in the curre...
Markus Aleksy, Axel Korthaus, Martin Schader
POPL
2002
ACM
16 years 5 days ago
Predicate abstraction for software verification
e Abstraction for Software Verification Cormac Flanagan Shaz Qadeer Compaq Systems Research Center 130 Lytton Ave, Palo Alto, CA 94301 Software verification is an important and di...
Cormac Flanagan, Shaz Qadeer