Sciweavers

1880 search results - page 221 / 376
» A Fact-Oriented Approach to Activity Modeling
Sort
View
ICSE
2007
IEEE-ACM
14 years 9 months ago
Formal Software Analysis Emerging Trends in Software Model Checking
The study of methodologies and techniques to produce correct software has been active for four decades. During this period, researchers have developed and investigated a wide vari...
Matthew B. Dwyer, John Hatcliff, Robby, Corina S. ...
COMPSAC
2008
IEEE
14 years 4 months ago
Implicit Social Network Model for Predicting and Tracking the Location of Faults
— In software testing and maintenance activities, the observed faults and bugs are reported in bug report managing systems (BRMS) for further analysis and repair. According to th...
Ing-Xiang Chen, Cheng-Zen Yang, Ting-Kun Lu, Hojun...
ICPR
2008
IEEE
14 years 4 months ago
Intuitive event modeling for personalized behavior monitoring
Behavior understanding and semantic interpretation of dynamic visual scenes have attracted a lot of attention in computer vision research community. Although the use of surveillan...
Ahmed Azough, Alexandre Delteil, Fabien De Marchi,...
HICSS
2007
IEEE
124views Biometrics» more  HICSS 2007»
14 years 4 months ago
POSAML: A Visual Modeling Framework for Middleware Provisioning
Effective provisioning of next generation distributed applications hosted on diverse middleware platforms incurs significant challenges due to the applications’ growing complex...
Dimple Kaul, Arundhati Kogekar, Aniruddha S. Gokha...
ISBI
2007
IEEE
14 years 4 months ago
A Variational Model for Level-set Based Cell Tracking in Time-lapse Fluorescence Microscopy Images
Quantifying the motion and deformation of large numbers of cells through image sequences obtained with fluorescence microscopy is a recurrent task in many biological studies. Aut...
Oleh Dzyubachyk, Wiro J. Niessen, Erik H. W. Meije...