4894 search results - page 26 / 979 » Choices |
154
Voted
ICSE
2009
IEEE-ACM
16 years 6 months ago
2009
IEEE-ACM
We present the results of a three year field study of the software development process choices made by project teams at two leading offshore vendors. In particular, we focus on th...
144
click to vote
WOLLIC
2009
Springer
16 years 10 days ago
2009
Springer
Abstract. Database design aims to find a database schema that permits the efficient processing of common types of queries and updates on future database instances. Full first-ord...
161
click to vote
IROS
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract— Piezoelectric actuators are advantageous for microrobots due to their light weight, high bandwidth, high force production, low power consumption, and simplicity of inte...
151
click to vote
FASE
2003
Springer
15 years 11 months ago
2003
Springer
Scenarios are powerful tools to model and analyze software systems. However, since they do not provide a complete description of the system, but just some possible execution paths,...
177
click to vote
CSL
2007
Springer
15 years 9 months ago
2007
Springer
We give a new proof showing that it is not possible to define in monadic second-order logic (MSO) a choice function on the infinite binary tree. This result was first obtained by G...