4340 search results - page 254 / 868 » Formal Methods and Cryptography |
152
click to vote
CHARME
2001
Springer
15 years 10 months ago
2001
Springer
Formal analysis remains outside the mainstream of system design practice. Interactive methods and tools are regarded by some to be on the margin of useful research in this area. Al...
152
click to vote
ASE
2008
15 years 6 months ago
2008
Goal-oriented methods are increasingly popular for elaborating software requirements. They offer systematic support for incrementally building intentional, structural, and operati...
144
click to vote
SEKE
2005
Springer
15 years 11 months ago
2005
Springer
Mobile agents provide an effective and flexible style to develop advanced distributed systems. In order to promote interoperability and ensure the quality of mobile agent systems,...
154
click to vote
CAV
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. We consider a fully SAT-based method of unbounded symbolic model checking based on computing Craig interpolants. In benchmark studies using a set of large industrial circ...
200
click to vote
MEMOCODE
2008
IEEE
16 years 14 days ago
2008
IEEE
While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both...