Sciweavers

5984 search results - page 304 / 1197
» The Informal Nature of Systems Engineering
Sort
View
TACS
1994
Springer
15 years 10 months ago
Separate Abstract Interpretation for Control-Flow Analysis
Abstract Interpretation for Control-Flow Analysis Yan Mei Tang and Pierre Jouvelot CRI, Ecole des Mines de Paris, France Effect systems and abstract interpretation are two methods ...
Yan Mei Tang, Pierre Jouvelot
AOSE
2007
Springer
16 years 27 days ago
A Goal-Oriented Software Testing Methodology
Abstract. Agent-Oriented Software Engineering (AOSE) methodologies are proposed to develop complex distributed systems based upon the agent paradigm. The natural implementation for...
Duy Cu Nguyen, Anna Perini, Paolo Tonella
DEXAW
2005
IEEE
108views Database» more  DEXAW 2005»
16 years 10 days ago
Developing an Ontology for the Domain Name System
Ontologies provide a means of modelling and representing a knowledge domain. Such representation, already used in purpose-built distributed information systems, can also be of gre...
Nickolas J. G. Falkner, Paul D. Coddington, Andrew...
WWW
2004
ACM
16 years 7 months ago
Surfing the web by site
We provide a system for surfing the web at a high level of abstraction, which is an analogy of the web browser, but which displays entire sites at a time. It allows a principled i...
David Gibson
ICHIT
2009
Springer
16 years 1 months ago
ECG signal compression using 2D wavelet foveation
Foveation principles suggested by natural vision systems enable the construction of a proper mask that may modulate the coefficients given by the Discrete Wavelet Transform of an ...
Iulian B. Ciocoiu