Sciweavers

9006 search results - page 1273 / 1802
» Modeling Software
Sort
View
OTM
2010
Springer
15 years 5 months ago
An Interaction Meta-model for Cooperative Component-Based User Interfaces
Abstract. Model Driven Engineering (MDE) aims to help software deto abstract the system implementations by means of models and meta-models. In Web-based Collaborative Information S...
Luis Iribarne, Nicolás Padilla, Javier Cria...
CCS
2004
ACM
16 years 17 days ago
Lessons learned using alloy to formally specify MLS-PCA trusted security architecture
In order to solve future Multi Level Security (MLS) problems, we have developed a solution based on the DARPA Polymorphous Computing Architecture (PCA). MLS-PCA uses a novel distr...
Brant Hashii
PDP
2010
IEEE
16 years 2 months ago
A Light-weight API for Portable Multicore Programming
—Multicore nodes have become ubiquitous in just a few years. At the same time, writing portable parallel software for multicore nodes is extremely challenging. Widely available p...
Christopher G. Baker, Michael A. Heroux, H. Carter...
MICCAI
2009
Springer
16 years 8 months ago
Optimal Transseptal Puncture Location for Robot-Assisted Left Atrial Catheter Ablation
The preferred method of treatment for Atrial Fibrillation (AF) is by catheter ablation wherein a catheter is guided into the left atrium through a transseptal puncture. However, th...
Jagadeesan Jayender, Rajni V. Patel, Gregory F. ...
KDD
2007
ACM
335views Data Mining» more  KDD 2007»
16 years 7 months ago
Detecting changes in large data sets of payment card data: a case study
An important problem in data mining is detecting changes in large data sets. Although there are a variety of change detection algorithms that have been developed, in practice it c...
Chris Curry, Robert L. Grossman, David Locke, Stev...
« Prev « First page 1273 / 1802 Last » Next »