Sciweavers

21 search results - page 4 / 5
» hicss 1995
Sort
View
HICSS
1995
IEEE
110views Biometrics» more  HICSS 1995»
13 years 9 months ago
Reliability analysis of CSP specifications using Petri nets and Markov processes
In our research we are developing methodologiesand tools to permit stochastic analyses of CSP-based system specifications. In this regard, we have been developing morphismsbetween...
Krishna M. Kavi, Frederick T. Sheldon, Behrooz Shi...
HICSS
2003
IEEE
125views Biometrics» more  HICSS 2003»
13 years 11 months ago
A Marketing Model for Mobile Wireless Services
: 1 Invaluable feedback from HIICS referees is gratefully acknowledged. Mobile data services integrate handheld and Internet technologies to create new value propositions (Keen and...
A. Lee Gilbert, Jon D. Kendall
HICSS
1995
IEEE
128views Biometrics» more  HICSS 1995»
13 years 9 months ago
Instruction Level Parallelism
Abstract. We reexamine the limits of parallelism available in programs, using runtime reconstruction of program data-flow graphs. While limits of parallelism have been examined in...
HICSS
1995
IEEE
90views Biometrics» more  HICSS 1995»
13 years 9 months ago
Connection management without retaining information
Managing a connection between two hosts in a network is an important service to provide in order to make the network useful for many applications. The two main subproblems are the...
Hagit Attiya, Shlomi Dolev, Jennifer L. Welch
HICSS
2003
IEEE
118views Biometrics» more  HICSS 2003»
13 years 11 months ago
The Role of Organizational Culture in the Management of Clinical e-health Systems
The research here presented focuses upon the informal, social, and cultural side of managerial coordination and control as manifested in clinical e-health systems. Specifically, t...
David Bangert, Robert Doktor