Sciweavers

94 search results - page 10 / 19
» REF: A Practical Agent-Based Requirement Engineering Framewo...
Sort
View
ICSM
2005
IEEE
14 years 1 months ago
Annotated Inclusion Constraints for Precise Flow Analysis
Program flow analysis has many applications in software tools for program understanding, restructuring, verification, testing and reverse engineering. There are two important re...
Ana Milanova, Barbara G. Ryder
INFOCOM
2010
IEEE
13 years 5 months ago
MeasuRouting: A Framework for Routing Assisted Traffic Monitoring
Monitoring transit traffic at one or more points in a network is of interest to network operators for reasons of traffic accounting, debugging or troubleshooting, forensics, and tr...
Saqib Raza, Guanyao Huang, Chen-Nee Chuah, Srini S...
VSTTE
2005
Springer
14 years 1 months ago
Linking the Meaning of Programs to What the Compiler Can Verify
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
Egon Börger
ICSEA
2009
IEEE
13 years 5 months ago
Integrating IT Service Management within the Enterprise Architecture
-- Published work in the IT services area is generally centered on the description of management best practices or specific technological issues. There is a lack of empirical studi...
Anacleto Correia, Fernando Brito e Abreu
MM
2004
ACM
178views Multimedia» more  MM 2004»
14 years 1 months ago
A bootstrapping framework for annotating and retrieving WWW images
Most current image retrieval systems and commercial search engines use mainly text annotations to index and retrieve WWW images. This research explores the use of machine learning...
HuaMin Feng, Rui Shi, Tat-Seng Chua