4290 search results - page 339 / 858 » Formal Approaches to Teamwork |
193
click to vote
ENTCS
2007
15 years 7 months ago
2007
The paper reports on the foundations and experimental results with a model checker for component connectors modelled by networks of channels in the calculus Reo. The specificatio...
181
click to vote
TCS
2008
15 years 7 months ago
2008
This paper provides one more step towards bridging the gap between the formal and computational approaches to the verification of cryptographic protocols. We extend the well-known ...
208
click to vote
GEOINFORMATICA
1998
15 years 7 months ago
1998
An important component of spatial data quality is the imprecision resulting from the resolution at which data are represented. Current research on topics such as spatial data inte...
284
click to vote
DCEIS
2006
15 years 9 months ago
2006
During software engineering processes lots of artifacts are produced to document the development of a concrete software. For artifacts which are related with respect to their meani...
221
click to vote
TCBB
2008
15 years 7 months ago
2008
The last several decades have witnessed a vast accumulation of biological data and data analysis. Many of these data sets represent only a small fraction of the system's behav...