Sciweavers

1508 search results - page 29 / 302
» Toward Software Plug-and-Play
Sort
View
WKDD
2008
CPS
97views Data Mining» more  WKDD 2008»
14 years 2 months ago
Knowledge Management in the Ubiquitous Software Development
The continuous technical advances have lead to the proliferation of very small and very cheap microprocessors, equipped with sensors and capacity of wireless communication. The in...
José Miguel Rubio León
FM
2003
Springer
129views Formal Methods» more  FM 2003»
14 years 1 months ago
Trends in Software Verification
With the steady increase in computational power of general purpose computers, our ability to analyze routine software artifacts is also steadily increasing. As a result, we are wit...
Gerard J. Holzmann
UM
2007
Springer
14 years 2 months ago
To Share or Not to Share: Supporting the User Decision in Mobile Social Software Applications
User’s privacy concerns represent one of the most serious obstacles to the wide adoption of mobile social software applications. In this paper, we introduce a conceptual model wh...
Giuseppe Lugano, Pertti Saariluoma
ICST
2010
IEEE
13 years 6 months ago
Towards a Testing Methodology for Reactive Systems: A Case Study of a Landing Gear Controller
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...
Laya Madani, Virginia Papailiopoulou, Ioannis Pari...
ICSE
2005
IEEE-ACM
14 years 8 months ago
Towards increasing the compatibility of student pair programmers
As pair programming is used widely in software engineering education, instructors may wish to proactively form pairs to increase the likelihood of compatible pairs. A study involv...
Neha Katira, Laurie A. Williams, Jason Osborne