Sciweavers

3514 search results - page 143 / 703
» Software Process Modeling: Principles of Entity Process Mode...
Sort
View
LICS
2009
IEEE
15 years 8 months ago
Trace Semantics is Fully Abstract
mantics Is Fully Abstract∗ Sumit Nain and Moshe Y. Vardi Rice University, Department of Computer Science Houston, TX 77005-1892, USA The discussion in the computer-science liter...
Sumit Nain, Moshe Y. Vardi
TIT
2008
81views more  TIT 2008»
15 years 1 months ago
Large Deviations of the Interference in a Wireless Communication Model
Interference from other users limits the capacity, and possibly the connectivity, of wireless networks. A simple model of a wireless ad-hoc network, in which node locations are des...
Ayalvadi J. Ganesh, Giovanni Luca Torrisi
100
Voted
METRICS
2005
IEEE
15 years 7 months ago
Empowering Software Development Environments by Automatic Software Measurement
In order to facilitate the application of software measurement the gathering of software measures should be automated as far as possible by the integration of the software measure...
Bernhard Daubner
ANSS
2008
IEEE
15 years 8 months ago
Executable Protocol Models as a Requirements Engineering Tool
Functional prototypes and simulations are a well recognised and valued tool for building a shared understanding of requirements between users and developers. However, the developm...
Ashley T. McNeile, Ella E. Roubtsova
ACE
2004
315views Education» more  ACE 2004»
15 years 3 months ago
Applying SPICE to e-Learning: An e-Learning Maturity Model?
The Capability Maturity Model and SPICE approach to software process improvement has resulted in a robust system for improving development process capability in the field of softw...
Stephen Marshall, Geoff Mitchell