695 search results - page 23 / 139 » Linking Business Modelling to Socio-technical System Design |
SPIN
1999
Springer
15 years 4 months ago
1999
Springer
Model checking is traditionally applied to computer system design. It has proven to be a valuable technique. However, it requires detailed specifications of systems and requirement...
HICSS
1997
IEEE
15 years 4 months ago
1997
IEEE
In this paper we present a new approach for the development of hypertext information systems that avoids a number of traditional hypermedia authoring problems, and facilitates the...
105
click to vote
IWSOC
2005
IEEE
15 years 5 months ago
2005
IEEE
The open model for solutions development is quickly extending from software to other technology areas, such as hardware and services. Specifically, just as open source has spawned...
CSE
2009
IEEE
15 years 3 months ago
2009
IEEE
There are many applications for Secure Multi-Party Computation (SMC), but practical adoption is still an issue. One reason is that the business model of the application does not m...
HICSS
2005
IEEE
15 years 5 months ago
2005
IEEE
While several research projects have been proposed to use software agents to deal with information overload, their results are not applicable in the existing Web infrastructure ma...