3544 search results - page 468 / 709 » Software Testing |
178
Voted
IUI
2006
ACM
16 years 1 months ago
2006
ACM
Recent interest in the use of software character agents raises the issue of how many agents should be used in online learning. In this paper we review evidence concerning the rela...
173
Voted
ICSM
2005
IEEE
16 years 19 days ago
2005
IEEE
To remain competitive in the fast paced world of software development, managers must optimize the usage of their limited resources to deliver quality products on time and within b...
194
Voted
KBSE
2005
IEEE
16 years 18 days ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
192
Voted
ADAEUROPE
2005
Springer
16 years 17 days ago
2005
Springer
This paper describes the design and implementation of GNAT Pro for ERC32, a flexible cross-development environment supporting the Ravenscar tasking model on top of bare ERC32 comp...
187
Voted
AOSD
2004
ACM
16 years 14 days ago
2004
ACM
This paper presents our extension to AspectJ for distributed computing. Although AspectJ allows Java developers to modularize a crosscutting concern as an aspect, this paper shows...