Sciweavers

2560 search results - page 95 / 512
» Analysis Tool for Honeypot Systems
Sort
View
92
Voted
WSC
2004
15 years 3 months ago
Air Cargo Operations Evaluation and Analysis through Simulation
This paper illustrates the use of simulation for evaluating and analyzing air cargo operations at one of the new stateof-the art cargo facilities at Toronto Pearson Airport. The e...
Aaron Luntala Nsakanda, Michel Turcotte, Moustapha...
RE
2005
Springer
15 years 7 months ago
Quality Analysis of NL Requirements: An Industrial Case Study
Nowadays common practice indicates that the Requirement Engineering (RE) process critically influences the success of the system development life cycle. Several commercial tools ...
Antonio Bucchiarone, Stefania Gnesi, P. Pierini
EDOC
2006
IEEE
15 years 7 months ago
Trust Assessment Using Provenance in Service Oriented Applications
Workflow forms a key part of many existing Service Oriented applications, involving the integration of services that may be made available at distributed sites. It is possible ng...
Shrija Rajbhandari, Arnaud Contes, Omer F. Rana, V...
SPLC
2010
15 years 3 months ago
Feature-to-Code Mapping in Two Large Product Lines
Abstract. Large product lines have complex build systems, which obscure mapping of features to code. We extract this mapping out of the build systems of two operating systems kerne...
Thorsten Berger, Steven She, Rafael Lotufo, Krzysz...
CADE
2009
Springer
16 years 2 months ago
Termination Analysis by Dependency Pairs and Inductive Theorem Proving
Current techniques and tools for automated termination analysis of term rewrite systems (TRSs) are already very powerful. However, they fail for algorithms whose termination is ess...
Carsten Fuhs, Jürgen Giesl, Michael Parting, ...