Sciweavers

427 search results - page 64 / 86
» A Framework and Tool-Support for Reengineering Software Deve...
Sort
View
148
Voted
FASE
2004
Springer
15 years 8 months ago
Checking Absence of Illicit Applet Interactions: A Case Study
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
Marieke Huisman, Dilian Gurov, Christoph Sprenger,...
133
Voted
TASE
2010
IEEE
14 years 9 months ago
Optimization of Group Elevator Scheduling With Advance Information
Group elevator scheduling has received considerable attention due to its importance to transportation efficiency for mid-rise and high-rise buildings. One important trend to improv...
Jin Sun, Qianchuan Zhao, Peter B. Luh
125
Voted
MEDINFO
2007
158views Healthcare» more  MEDINFO 2007»
15 years 4 months ago
Geographically Distributed Complementary Content-Based Image Retrieval Systems for Biomedical Image Informatics
There is a significant increase in the use of medical images in clinical medicine, disease research, and education. While the literature lists several successful systems for conte...
Sameer Antani, Thomas Martin Deserno, L. Rodney Lo...
DEXAW
1998
IEEE
109views Database» more  DEXAW 1998»
15 years 6 months ago
Expressing Dynamics of Mobile Agent Systems Using Ambient Calculus
The mobile agent approach has become popular due to recent developments in the mobile code paradigm and enabling programming technologies. Many existing agentbased systems lack cl...
Peter Stañski, Arkady B. Zaslavsky
109
Voted
ASWEC
2000
IEEE
15 years 7 months ago
ReVis: Reverse Engineering by Clustering and Visual Object Classification
This paper presents the framework of a scale-oriented scheme for the presentation and classification of reverse engineered sections of procedural code into objects. The aim is to ...
Aaron J. Quigley, Margot Postema, Heinz W. Schmidt