5075 search results - page 892 / 1015 » Model-based interface development |
125
click to vote
ISEUD
2009
Springer
15 years 9 months ago
2009
Springer
All software today is written using libraries, toolkits, frameworks and other application programming interfaces (APIs). We performed a user study of the online documentation a lar...
150
Voted
MODELS
2009
Springer
15 years 9 months ago
2009
Springer
Solution-driven product line engineering is a project business where products are created for each customer individually. Although reuse of results from former projects is widely ...
126
click to vote
HICSS
2008
IEEE
15 years 9 months ago
2008
IEEE
“Crowdsourcing” is currently one of the most discussed key words within the open innovation community. The major question for both research and business is how to find and lev...
145
Voted
TPHOL
2008
IEEE
15 years 8 months ago
2008
IEEE
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...
109
click to vote
IV
2006
IEEE
15 years 8 months ago
2006
IEEE
There are many deficiencies in the traditional electronic commerce schema. The main problem for consideration is the text and picture based design that underpins current HTML syst...