4211 search results - page 319 / 843 » A formal approach to MASQ |
186
click to vote
HICSS
2005
IEEE
16 years 12 days ago
2005
IEEE
— This paper considers a formal object-oriented model for distributed computing. Object orientation appears as a leading framework for concurrent and distributed systems. However...
200
click to vote
ICDAR
2005
IEEE
16 years 12 days ago
2005
IEEE
The table recognition literature contains many strategies specified informally as a sequence of operations, obscuring both models of table structure and the effects of individual...
159
click to vote
CHARME
2005
Springer
16 years 10 days ago
2005
Springer
Today, verification is becoming the dominating factor for successful circuit designs. In this context formal verification techniques allow to prove the correctness of a circuit ...
167
click to vote
PROMAS
2005
Springer
16 years 8 days ago
2005
Springer
Multi-agent system(MAS) is a blooming research area, which exhibits a new paradigm for the design, modelling and implementation of complex systems. A significant amount of effort...
184
click to vote
AMAST
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...