3828 search results - page 533 / 766 » Proof-Based System Engineering Using a Virtual System Model |
174
click to vote
SIGMOD
2002
ACM
15 years 6 months ago
2002
ACM
Workflow management systems (WFMS) that are geared for the orchestration of business processes across multiple organizations are complex distributed systems: they consist of multi...
187
click to vote
ATAL
2005
Springer
16 years 5 days ago
2005
Springer
This paper develops a model for exceptions and an approach for incorporating them in commitment protocols among autonomous agents. Modeling and handling exceptions is critical for...
201
click to vote
CLOUD
2010
ACM
15 years 11 months ago
2010
ACM
We present a parallel data processor centered around a programming model of so called Parallelization Contracts (PACTs) and the scalable parallel execution engine Nephele [18]. Th...
192
Voted
EMSOFT
2009
Springer
15 years 11 months ago
2009
Springer
Embedded systems such as smart cards or sensors are now widespread, but are often closed systems, only accessed via dedicated terminals. A new trend consists in embedding Web serv...
164
click to vote
SIGOPSE
1998
ACM
15 years 11 months ago
1998
ACM
The majority of work on protection in single-language mobile code environments focuses on information security issues and depends on the language environment for solutions to the ...