274 search results - page 30 / 55 » The Maude Formal Tool Environment |
FSTTCS
2007
Springer
14 years 4 months ago
2007
Springer
Security protocols are small programs that are executed in hostile environments. Many results and tools have been developed to formally analyze the security of a protocol. However ...
SIGADA
2005
Springer
14 years 3 months ago
2005
Springer
Recent trends in software re-engineering have included tools to extract program slices from existing Ada procedures. One such tool has already been developed that extracts program...
COMCOM
2007
13 years 9 months ago
2007
— Voice over IP (VoIP) services based on the Session Initiation Protocol (SIP) gain ground as compared to other protocols like MGCP or H.323. However, the open SIP architecture c...
HICSS
2000
IEEE
14 years 2 months ago
2000
IEEE
Distributed multithreaded software systems are becoming more and more important in modern networked environment. For these systems, concurrency control and thread synchronization ...
SKG
2006
IEEE
14 years 3 months ago
2006
IEEE
With the rapid evolution of web technology and Internet, the mathematical web has emerged as a new research trend, which changes the traditional manner of mathematical scientific ...