284 search results - page 34 / 57 » Dealing with death in design: developing systems for the ber... |
HICSS
2003
IEEE
14 years 1 months ago
2003
IEEE
Given the uncertainty of the online environment, institutional trust is fundamental in building and retaining online interorganizational relationships. The authors propose two typ...
ICSE
2008
IEEE-ACM
14 years 9 months ago
2008
IEEE-ACM
Nowadays, large-scale industrial software systems may involve hundreds of developers working on hundreds of different but related models representing parts of the same system spec...
CAISE
2009
Springer
14 years 3 months ago
2009
Springer
Declarative approaches have been proposed to counter the limited flexibility of the traditional imperative modeling paradigm, but little empirical insights are available into thei...
SEFM
2007
IEEE
14 years 2 months ago
2007
IEEE
We model security protocols as a game tree using concepts of game semantics. Using this model we ascribe semantics to protocols written in the standard simple arrow notation. Acco...
HUC
2004
Springer
14 years 1 months ago
2004
Springer
Ubiquitous computing technologies offer the promise of extending the benefits of computing to workers who do not spend their time at a desktop environment. In this paper, we review...