2024 search results - page 102 / 405 » A Formal Model of Multi-agent Computations |
147
click to vote
ASM
2010
ASM
15 years 7 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
152
click to vote
CMSB
2010
Springer
14 years 11 months ago
2010
Springer
Boolean modeling frameworks have long since proved their worth for capturing and analyzing essential characteristics of complex systems. Hybrid approaches aim at exploiting the ad...
153
click to vote
DBSEC
2007
15 years 5 months ago
2007
With the growing advancement of pervasive computing technologies, we are moving towards an era where spatio-temporal information will be necessary for access control. The use of su...
153
Voted
ACSC
2005
IEEE
15 years 9 months ago
2005
IEEE
Novel, high-throughput technologies are challenging the core of algorithmic methods available in Computer Science. Microarray technologies give Life Sciences researchers the oppor...
181
click to vote
JMLR
2012
13 years 6 months ago
2012
We present an algorithm for fast posterior inference in penalized high-dimensional state-space models, suitable in the case where a few measurements are taken in each time step. W...