1051 search results - page 158 / 211 » Protocols in the use of empirical software engineering artif... |
TASE
2010
IEEE
13 years 3 months ago
2010
IEEE
This paper presents a novel multiagent approach to automating taxi dispatch that services current bookings in a distributed fashion. The existing system in use by a taxi operator i...
ISSRE
2008
IEEE
14 years 3 months ago
2008
IEEE
Aspect-Oriented Programming (AOP) provides new modularization of software systems by encapsulating crosscutting concerns. AspectJ, an AOP language, uses abstractions such as point...
EUROMICRO
2003
IEEE
14 years 2 months ago
2003
IEEE
Knowledge management (KM) systems aim at supporting knowledge workers in general and software engineers in particular. These tools help to elicit, structure, and retrieve knowledg...
SIGSOFT
2007
ACM
14 years 9 months ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
SIGSOFT
2008
ACM
14 years 9 months ago
2008
ACM
Software teams should follow a well defined goal and keep their work focused. Work fragmentation is bad for efficiency and quality. In this paper we empirically investigate the re...