690 search results - page 118 / 138 » Testing Temporal Logic Properties in Distributed Systems |
102
Voted
ECOOP
1993
Springer
15 years 4 months ago
1993
Springer
Abstract. We have developed language support for the expression of multiobject coordination. In our language, coordination patterns can be speci ed abstractly, independent of the p...
205
Voted
ICDT
2009
ACM
16 years 1 months ago
2009
ACM
We formalize and study business process systems that are centered around "business artifacts", or simply "artifacts". This approach focuses on data records, kn...
131
click to vote
EUROSSC
2009
Springer
15 years 7 months ago
2009
Springer
A major challenge in using multi-modal, distributed sensor systems for activity recognition is to maintain a temporal synchronization between individually recorded data streams. A ...
137
click to vote
APVIS
2011
2011
Loose capacity-constrained representatives for the qualitative visual analysis in molecular dynamics
14 years 12 days ago
Molecular dynamics is a widely used simulation technique to investigate material properties and structural changes under external forces. The availability of more powerful cluster...
115
Voted
PPDP
2005
Springer
15 years 6 months ago
2005
Springer
We present ReactiveML, a programming language dedicated to the implementation of complex reactive systems as found in graphical user interfaces, video games or simulation problems...