Sciweavers

2351 search results - page 128 / 471
» A Method of Requirement Inconsistency Analysis
Sort
View
ICSE
2001
IEEE-ACM
15 years 2 months ago
Conceptual Modeling through Linguistic Analysis Using LIDA
Despite the advantages that object technology can provide to the software development community and its customers, the fundamental problems associated with identifying objects, th...
Scott P. Overmyer, Benoit Lavoie, Owen Rambow
JSS
2007
109views more  JSS 2007»
14 years 9 months ago
Using Bayesian belief networks for change impact analysis in architecture design
Research into design rationale in the past has focused on argumentation-based design deliberations. These approaches cannot be used to support change impact analysis effectively ...
Antony Tang, Ann E. Nicholson, Yan Jin, Jun Han
72
Voted
ICASSP
2008
IEEE
15 years 4 months ago
Localization of multiple speakers based on a two step acoustic map analysis
An interface for distant-talking control of home devices requires the possibility of identifying the positions of multiple users. Acoustic maps, based either on Global Coherence F...
Alessio Brutti, Maurizio Omologo, Piergiorgio Svai...
CARDIS
2008
Springer
119views Hardware» more  CARDIS 2008»
15 years 2 days ago
Static Program Analysis for Java Card Applets
The Java Card API provides a framework of classes and interfaces that hides the details of the underlying smart card interface, thus relieving developers from going through the swa...
Vasilios Almaliotis, Alexandros Loizidis, Panagiot...
SEFM
2005
IEEE
15 years 3 months ago
Precise Analysis of Memory Consumption using Program Logics
Memory consumption policies provide a means to control resource usage on constrained devices, and play an important role in ensuring the overall quality of software systems, and i...
Gilles Barthe, Mariela Pavlova, Gerardo Schneider