Sciweavers

913 search results - page 126 / 183
» Toward Formalizing Structured Analysis
Sort
View
CCS
2007
ACM
14 years 1 months ago
Analyzing the vulnerability of superpeer networks against attack
In this paper, we develop an analytical framework to measure the vulnerability of superpeer networks against attack. Two different kinds of attacks namely deterministic and degre...
Bivas Mitra, Fernando Peruani, Sujoy Ghose, Niloy ...
ADBIS
2006
Springer
131views Database» more  ADBIS 2006»
14 years 1 months ago
X-Warehousing: An XML-Based Approach for Warehousing Complex Data
XML is suitable for structuring complex data coming from different sources and supported by heterogeneous formats. It allows a flexible formalism capable to represent and store d...
Omar Boussaid, Riadh Ben Messaoud, Rémy Cho...
EPEW
2008
Springer
13 years 9 months ago
Natural Language Specification of Performance Trees
The accessible specification of performance queries is a key challenge in performance analysis. To this end, we seek to combine the intuitive aspects of natural language query spec...
Lei Wang 0002, Nicholas J. Dingle, William J. Knot...
EHCI
2004
13 years 9 months ago
Formalising an Understanding of User-System Misfits
Many of the difficulties users experience when working with interactive systems arise from misfits between the user's conceptualisation of the domain and device with which the...
Ann Blandford, Thomas R. G. Green, Iain Connell
DLOG
2003
13 years 9 months ago
Applying Description Logic to Product Behavioral Design within Advanced CAD Systems
In this paper, we investigate the use of Description Logic (DL) for representing Product Behavioral constraints in Computer Aided Design (CAD) Systems. In an integrated design app...
François de Bertrand de Beuvron, Amadou Cou...