6584 search results - page 126 / 1317 » Distributed Shared Contexts |
112
click to vote
ECAI
2004
Springer
15 years 6 months ago
2004
Springer
In this paper, we tackle the satisfiability problem for multi-context systems. First, we establish a satisfiability algorithm based on an encoding into propositional logic. Then, w...
111
click to vote
LATIN
2010
Springer
15 years 9 months ago
2010
Springer
Concurrent compositions of recursive programs with finite a natural abstraction model for concurrent programs. Since reachability is undecidable for this class, a restricted form ...
116
click to vote
SAC
2003
ACM
15 years 7 months ago
2003
ACM
Workflow technology plays a key role as an enabler in E-Commerce applications, such as supply chains. Until recently the major share of the attention of workflow systems researche...
107
click to vote
IBPRIA
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Being an essential key in biological research, the DNA sequences are often shared between researchers and digitally stored for future use. As these sequences grow in volu...
124
click to vote
ER
2007
Springer
15 years 4 months ago
2007
Springer
The health sector uses clinical guidelines as instruments for helping decision making. We are interested in the development of a ubiquitous decision support system (UDSS) for clini...