46084 search results - page 191 / 9217 » Developments in WIS development |
164
click to vote
NJC
2006
15 years 6 months ago
2006
Abstract. General purpose theorem provers provide advanced facilities for proving properties about specifications, and may therefore be a valuable tool in formal program developmen...
190
click to vote
CG
2005
Springer
15 years 6 months ago
2005
Springer
Sketch recognition systems are currently being developed for many domains, but can be time consuming to build if they are to handle the intricacies of each domain. In order to aid...
153
click to vote
CAD
2004
Springer
15 years 6 months ago
2004
Springer
To allow a designer to focus on the information that is relevant for a particular product development phase, is an important aspect of integral product development. Unlike current...
147
click to vote
INFSOF
2002
15 years 6 months ago
2002
: The development of electronic commerce systems is subject to different conditions than that of conventional software systems. This includes the
175
click to vote
ICWE
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Developing service-based interactive applications is time consuming and nontrivial. Annotating web services with additional information about the user interface and behav...