3819 search results - page 704 / 764 » An Outsourcing Model of Software Development |
118
Voted
AINA
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract — Governing business compliance with regulations, laws, best practices, contracts, and the like is not an easy task, and so far there are only limited software products ...
100
Voted
ICDAR
2009
IEEE
15 years 7 months ago
2009
IEEE
With the increased availability of pen-based devices, it becomes interesting to conduct and to archive multi-party communication sessions that involve audio and digital ink on a s...
ISORC
2009
IEEE
15 years 7 months ago
2009
IEEE
In his article entitled "From Play-In Scenarios to Code: An Achievable Dream", David Harel presented a development schema that makes it possible to go from high-level us...
96
Voted
EPEW
2009
Springer
15 years 7 months ago
2009
Springer
We develop models of automated E-commerce techniques, which predict the economic outcomes of these decision mechanisms, including the price attained by a good and the resulting inc...
103
click to vote
FMCAD
2009
Springer
15 years 7 months ago
2009
Springer
—Boolean manipulation and existential quantification of numeric variables from linear arithmetic (LA) formulas is at the core of many program analysis and software model checkin...