Sciweavers

8154 search results - page 307 / 1631
» Understanding changes in use cases: A case study
Sort
View
CSMR
2010
IEEE
15 years 1 months ago
Recognizing Words from Source Code Identifiers Using Speech Recognition Techniques
The existing software engineering literature has empirically shown that a proper choice of identifiers influences software understandability and maintainability. Researchers have n...
Nioosha Madani, Latifa Guerrouj, Massimiliano Di P...
FAC
2008
80views more  FAC 2008»
15 years 6 months ago
Verification of Mondex electronic purses with KIV: from transactions to a security protocol
The Mondex case study about the specification and refinement of an electronic purse as defined in the Oxford Technical Monograph PRG-126 has recently been proposed as a challenge f...
Dominik Haneberg, Gerhard Schellhorn, Holger Grand...
CONEXT
2010
ACM
15 years 4 months ago
Auto-configuration of 802.11n WLANs
Channel Bonding (CB) combines two adjacent frequency bands to form a new, wider band to facilitate high data rate transmissions in MIMO-based 802.11n networks. However, the use of...
Mustafa Y. Arslan, Konstantinos Pelechrinis, Ioann...
CMPB
2007
86views more  CMPB 2007»
15 years 6 months ago
Monte Carlo simulation of latanoprost induced iris darkening
We show that it is possible to construct numerical models of eye colour from first principles. Our initial model assumes that the important optical interactions occur only in the a...
K. P. B. Cracknell, Damian J. J. Farnell, I. Grier...
CAEPIA
2003
Springer
15 years 12 months ago
Social Analysis of Multi-agent Systems with Activity Theory
The development of software systems is a complex task that requires support techniques to guide the process and solve inconsistencies in its . In the agent paradigm, the use of soc...
Rubén Fuentes, Jorge J. Gómez-Sanz, ...