4290 search results - page 611 / 858 » Formal Approaches to Teamwork |
161
click to vote
WEBI
2005
Springer
16 years 3 days ago
2005
Springer
In this paper, we present an efficient model for discovering repeated patterns in symbolic representations of music. Combinatorial redundancy inherent to the pattern discovery pa...
234
Voted
CAV
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
152
click to vote
CRYPTO
2004
Springer
16 years 1 days ago
2004
Springer
In this paper we study the long standing problem of information extraction from multiple linear approximations. We develop a formal statistical framework for block cipher attacks b...
159
click to vote
GG
2004
Springer
16 years 22 hour ago
2004
Springer
The concept of typed attributed graph transformation is most significant for modeling and meta modeling in software engineering and visual languages, but up to now there is no ade...
156
click to vote
IFM
2004
Springer
16 years 10 hour ago
2004
Springer
Recent work on combining CSP and B has provided ways of describing systems comprised of components described in both B (to express requirements on state) and CSP (to express intera...