4460 search results - page 407 / 892 » Formal methods for interactive systems |
161
click to vote
ACL
2009
15 years 4 months ago
2009
This paper revisits the pivot language approach for machine translation. First, we investigate three different methods for pivot translation. Then we employ a hybrid method combin...
201
click to vote
ACNS
2008
Springer
16 years 1 months ago
2008
Springer
In the pursuit of authentication schemes that balance user privacy and accountability, numerous anonymous credential systems have been constructed. However, existing systems assume...
174
click to vote
CIMCA
2005
IEEE
16 years 13 days ago
2005
IEEE
Several methodologies based on Multi-agent Systems (MAS) already exist. They help designers to describe software or to create MAS which aim at solving complex problems by simulati...
164
click to vote
DATE
2003
IEEE
16 years 3 days ago
2003
IEEE
System design methodology is poised to become the next big enabler for highly sophisticated electronic products. Design verification continues to be a major challenge and simulat...
197
click to vote
FCT
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Message sequence charts are an attractive formalism for specifying communicating systems. One way to test such a system is to substitute a component by a test process and...