Sciweavers

119 search results - page 6 / 24
» Synthesizing Continuous Deployment Practices Used in Softwar...
Sort
View
HICSS
2009
IEEE
143views Biometrics» more  HICSS 2009»
15 years 5 months ago
Bridge Methods: Using a Balanced Project Practice Portfolio to Integrate Agile and Formal Process Methodologies
This paper examines the non-linear nature of progress on software projects. It asserts that this uneven accomplishment stems from the continuous need to drive value quickly in res...
Stephen J. Cohen, William H. Money
ISCAS
2003
IEEE
156views Hardware» more  ISCAS 2003»
15 years 3 months ago
GNOMES: a testbed for low power heterogeneous wireless sensor networks
Continuing trends in sensor, semiconductor and communication systems technology (smaller, faster, cheaper) make feasible very dense networks of fixed and mobile wireless devices ...
Erik Welsh, Walt Fish, J. Patrick Frantz
COMPSAC
2009
IEEE
15 years 5 months ago
Towards Validating Security Protocol Deployment in the Wild
As computing technology becomes increasingly pervasive and interconnected, mobility leads to shorter-lasting relationships between end-points with many different security requirem...
Luca Compagna, Ulrich Flegel, Volkmar Lotz
CSEE
2009
Springer
15 years 5 months ago
Using Software Project Courses to Integrate Education and Research: An Experience Report
At University of Southern California (USC), CSCI577ab is a graduate software engineering course that teaches best software engineering practices and allows students to apply the l...
Supannika Koolmanojwong, Barry W. Boehm
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 2 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund