1456 search results - page 174 / 292 » An Overview of the SODA System |
162
click to vote
FAC
2008
15 years 6 months ago
2008
This paper explains how the Alloy model-finding method has been used to check the specification of an electronic purse (also called smart card) system, called the Mondex case study...
148
click to vote
INFORMATICALT
2006
15 years 6 months ago
2006
The quality of software engineering projects often suffers due to the large gap between the way stakeholders present their requirements and the way analysts capture and express tho...
129
click to vote
ISCI
2006
15 years 6 months ago
2006
Particle swarm optimization (PSO) has shown to be an efficient, robust and simple optimization algorithm. Most of the PSO studies are empirical, with only a few theoretical analys...
527
click to vote
JUCS
2008
15 years 6 months ago
2008
: Human-Computer Interaction (HCI) is a challenging discipline that is currently concerned with the design, implementation and evaluation of interactive systems for human use, as w...
165
click to vote
JSAC
2006
15 years 6 months ago
2006
One of the major challenges in supporting multimedia services over Internet protocol (IP)-based code-division multiple-access (CDMA) wireless networks is the quality-of-service (Qo...