3628 search results - page 365 / 726 » Dynamic Application Structuring on Heterogeneous, Distribute... |
166
click to vote
ICFP
2007
ACM
16 years 6 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
283
click to vote
SIGMOD
2009
ACM
16 years 7 months ago
2009
ACM
A multi-tenant database system for Software as a Service (SaaS) should offer schemas that are flexible in that they can be extended for different versions of the application and d...
191
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
Bridging the gap between model-based design and platformbased implementation is one of the critical challenges for embedded software systems. In the context of embedded control sy...
184
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
We present mechanisms, architectures, and an implementation addressing challenges with mobile opportunistic commerce centering on markets and mechanisms that support the procureme...
201
click to vote
EDBT
2008
ACM
16 years 6 months ago
2008
ACM
Scientific data are available through an increasing number of heterogeneous, independently evolving, sources. Although the sources themselves are independently evolving, the data ...