1398 search results - page 25 / 280 » The Real World Software Process |
FOSSACS
2004
Springer
14 years 4 days ago
2004
Springer
We prove that if a finite alphabet of actions contains at least two elements, then the equational theory for the process algebra BCCSP modulo any semantics no coarser than readines...
ECML
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Classical planning domain representations assume all the objects from one type are exactly the same. But when solving problems in the real world systems, the execution of...
AGENTS
1997
Springer
14 years 18 days ago
1997
Springer
The Robot World Cup Initiative (RoboCup) is an attempt to foster AI and intelligent robotics research by providing a standard problem where wide range of technologies can be integ...
EMSOFT
2003
Springer
2003
Springer
Emerging Trends in Adaptive Middleware and Its Application to Distributed Real-Time Embedded Systems
14 years 1 months ago
Embedded systems have become prevalent in today’s computing world and more and more of these embedded systems are highly distributed and network centric. This adds increasing deg...
GECCO
2003
Springer
14 years 1 months ago
2003
Springer
Evolutionary Testing (ET) has been shown to be very successful for testing real world applications [10]. The original ET approach focusesonsearching for a high coverage of the test...