1200 search results - page 144 / 240 » The Problem Frames Approach to Software Engineering |
DELOS
2000
13 years 10 months ago
2000
Stand-alone ranking systems based on highly optimized inverted file structures are generally considered `the' solution for building search engines. Observing various developm...
TASE
2010
IEEE
13 years 3 months ago
2010
IEEE
This paper focuses on the assignment of discrete points among K robots and determining the order in which the points should be processed by the robots, in the presence of geometric...
EWSA
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. In this paper we motivate an Architecture Description Language (ADL) for mobile distributed systems based on the π-calculus. Different from other approaches, the non-fu...
APSEC
2005
IEEE
14 years 2 months ago
2005
IEEE
When requirements models are developed in an iterative and evolutionary way, requirements validation becomes a major problem. In order to detect and fix problems early, the speci...
ICFEM
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Verification of programs with invocations to unknown procedures is a practical problem, because in many scenarios not all codes of programs to be verified are available...