6031 search results - page 280 / 1207 » Communicating Transaction Processes |
175
click to vote
INFOCOM
2012
IEEE
13 years 9 months ago
2012
IEEE
Abstract—This paper considers a novel distributed system for collaborative location-based information generation and sharing which become increasingly popular due to the explosiv...
161
click to vote
CAISE
2004
Springer
15 years 12 months ago
2004
Springer
In the paper there is offered a framework to manage the Business Processes (BP) changes. The framework shows BP changes in the following trends: the number of BP users, communicati...
187
click to vote
SFM
2004
Springer
15 years 12 months ago
2004
Springer
We treat theory and application of timed process algebra. We focus on a variant that uses explicit termination and action prefixing. This variant has some advantages over other va...
165
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
We present a simple and effective approximated backward reachability algorithm for parameterized systems with existentially and universally quantified global conditions. The indivi...
136
click to vote
ECIS
2003
15 years 8 months ago
2003
It is difficult to design innovative information and communication technologies to meet needs that will emerge from future interactions between users, technologies and their situa...