1799 search results - page 286 / 360 » The Logic of Correctness in Software Engineering |
177
click to vote
DSN
2009
IEEE
16 years 28 days ago
2009
IEEE
Dynamic Information Flow Tracking (DIFT) is a promising security technique. With hardware support, DIFT prevents a wide range of attacks on vulnerable software with minimal perfor...
141
click to vote
FOSSACS
2007
Springer
16 years 10 days ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...
149
click to vote
CODES
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper describes the formal verification of the recently introduced Dual Transition Petri Net (DTPN) models [12], using model checking techniques. The methodology presented a...
169
click to vote
ICWS
2008
IEEE
15 years 7 months ago
2008
IEEE
Programmable Logic Controllers (PLC) are widely used in process automation due to their fast and guarantee response time. However their programming and interfacing capacities are ...
161
click to vote
CIC
2006
15 years 7 months ago
2006
Communication systems, along with database systems, have attracted a lot of attention in software engineering research. Encouraged by the success of SQL systems, some early effort...