Sciweavers

17409 search results - page 3410 / 3482
» The Design and Performance of MedJava
Sort
View
125
Voted
ATAL
2006
Springer
15 years 7 months ago
Learning empathy: a data-driven framework for modeling empathetic companion agents
Affective reasoning plays an increasingly important role in cognitive accounts of social interaction. Humans continuously assess one another's situational context, modify the...
Scott W. McQuiggan, James C. Lester
130
Voted
COOPIS
2004
IEEE
15 years 7 months ago
A Framework for Prototyping J2EE Replication Algorithms
In application server systems, such as J2EE, replication is an essential strategy for reliability and efficiency. Many J2EE implementations, both commercial and open-source, provid...
Özalp Babaoglu, Alberto Bartoli, Vance Maveri...
144
Voted
CSMR
2004
IEEE
15 years 7 months ago
Supporting Architectural Restructuring by Analyzing Feature Models
In order to lower the risk, reengineering projects aim at high reuse rates. Therefore, tasks like architectural restructuring have to be performed in a way that developed new syst...
Ilian Pashov, Matthias Riebisch, Ilka Philippow
124
Voted
DASFAA
2004
IEEE
86views Database» more  DASFAA 2004»
15 years 7 months ago
Supporting Exploratory Queries in Databases
Users of database applications, especially in the e-commerce domain, often resort to exploratory "trial-and-error" queries since the underlying data space is huge and unf...
Abhijit Kadlag, Amol V. Wanjari, Juliana Freire, J...
140
Voted
CAV
2006
Springer
95views Hardware» more  CAV 2006»
15 years 7 months ago
Yasm: A Software Model-Checker for Verification and Refutation
Example Guided Abstraction Refinement (CEGAR) [6] framework. A number of wellengineered software model-checkers are available, e.g., SLAM [1] and BLAST [12]. Why build another one?...
Arie Gurfinkel, Ou Wei, Marsha Chechik
« Prev « First page 3410 / 3482 Last » Next »