Sciweavers

2608 search results - page 214 / 522
» Subjects, Models, Languages, Transformations
Sort
View
FOAL
2009
ACM
16 years 1 months ago
A machine-checked model of safe composition
Programs of a software product line can be synthesized by composing features which implement some unit of program functionality. In most product lines, only some combination of fe...
Benjamin Delaware, William R. Cook, Don S. Batory
IHI
2010
132views Healthcare» more  IHI 2010»
15 years 1 months ago
Section classification in clinical notes using supervised hidden markov model
As more and more information is available in the Electronic Health Record in the form of free-text narrative, there is a need for automated tools, which can process and understand...
Ying Li, Sharon Lipsky Gorman, Noemie Elhadad
ISSTA
2004
ACM
15 years 12 months ago
Model checking XML manipulating software
The use of XML as the de facto data exchange standard has allowed integration of heterogeneous web based software systems regardless of implementation platforms and programming la...
Xiang Fu, Tevfik Bultan, Jianwen Su
BIRTHDAY
2003
Springer
15 years 10 months ago
Aspect Validation Using Model Checking
Aspects are intended to add needed functionality to a system or to treat concerns of the system by augmenting or changing the existing code in a manner that cross-cuts the usual c...
Shmuel Katz, Marcelo Sihman
DOLAP
2009
ACM
15 years 10 months ago
Defining ETL worfklows using BPMN and BPEL
Decisional systems are crucial for enterprise improvement. They allow the consolidation of heterogeneous data from distributed enterprise data stores into strategic indicators. An...
Zineb El Akkaoui, Esteban Zimányi