1377 search results - page 57 / 276 » Interface design for a modern software ticketing system |
HICSS
2003
IEEE
15 years 7 months ago
2003
IEEE
Long transactions cause pragmatic problems for workflow systems – as the transaction is moving, so is the surrounding world. We look at three scenarios in which external events ...
127
click to vote
ECBS
2010
IEEE
15 years 8 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
121
click to vote
HICSS
2008
IEEE
15 years 8 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...
104
click to vote
WWW
2005
ACM
16 years 2 months ago
2005
ACM
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers. Our goal...
96
Voted
MM
2005
ACM
15 years 7 months ago
2005
ACM
The current model of time in multimedia frameworks poses particular problems when designing multimedia systems with timebased interaction. We propose to expand and extend an exist...