Sciweavers

627 search results - page 64 / 126
» Modular Concurrency - A New Approach to Manageable Software
Sort
View
TSE
2008
129views more  TSE 2008»
14 years 11 months ago
Classifying Software Changes: Clean or Buggy?
This paper introduces a new technique for predicting latent software bugs, called change classification. Change classification uses a machine learning classifier to determine wheth...
Sunghun Kim, E. James Whitehead Jr., Yi Zhang 0001
APSEC
2000
IEEE
15 years 4 months ago
Platforms for agent-oriented software engineering
of modelling abstractions to map from items in the real-world to objects in the computational domain is oth for the effective implementation of abstract problem solutions and for ...
Mariusz Nowostawski, Geoff Bush, Martin K. Purvis,...
IDEAL
2009
Springer
14 years 9 months ago
Implementation and Integration of Algorithms into the KEEL Data-Mining Software Tool
This work is related to the KEEL1 (Knowledge Extraction based on Evolutionary Learning) tool, a non-commercial software that supports data management, design of experiments and an ...
Alberto Fernández, Julián Luengo, Jo...
ECBS
2010
IEEE
209views Hardware» more  ECBS 2010»
15 years 4 months ago
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
Lucas Cordeiro, Bernd Fischer 0002, João Ma...
WOWMOM
2005
ACM
175views Multimedia» more  WOWMOM 2005»
15 years 5 months ago
DIMSUMNet: New Directions in Wireless Networking Using Coordinated Dynamic Spectrum Access
Recent advances in Software Defined Radio (SDR), wide band spectrum sensing, and environment aware real-time spectrum allocation [13, 10, 4] show promise of enabling the new para...
Milind M. Buddhikot, Paul Kolodzy, Scott Miller, K...