4460 search results - page 178 / 892 » Formal methods for interactive systems |
106
click to vote
CSCW
1996
ACM
15 years 8 months ago
1996
ACM
Much of the support for communication across distributed communities has focused on meetings and intentional contact. However, most interactions within co-located groups occur whe...
112
click to vote
ICOIN
2001
Springer
15 years 8 months ago
2001
Springer
According to the progress of high-speed networks, many communication protocols are specified as concurrent systems. Such systems can be modeled as concurrent deterministic FSMs (D...
170
click to vote
CONCUR
1991
Springer
15 years 7 months ago
1991
Springer
Abstract. A syntax-directed formal system for the development of totally correct programs with respect to an (unfair) shared-state parallel programming language is proposed. The pr...
133
click to vote
ICCAD
2007
IEEE
16 years 29 days ago
2007
IEEE
— Computing counterexamples is a crucial task for error diagnosis and debugging of sequential systems. If an implementation does not fulfill its specification, counterexamples ...
134
click to vote
WWW
2008
ACM
16 years 4 months ago
2008
ACM
Form mapping is the key problem that needs to be solved in order to get access to the hidden web. Currently available solutions for fully automatic mapping are not ready for comme...