796 search results - page 24 / 160 » An Overview of Separation Logic |
ICSEA
2007
IEEE
14 years 4 months ago
2007
IEEE
—As current software systems evolve continuously, both the application and its user interface (UI) have to be adapted. However, UI code is often scattered through and entangled w...
ASPDAC
2006
ACM
14 years 3 months ago
2006
ACM
- Renesas Technology Corp. designers turned to OpenAccess to address the major design challenges with systems on chip for the automotive, wireless, digital consumer and industrial ...
CLEF
2006
Springer
14 years 1 months ago
2006
Springer
The first Answer Validation Exercise (AVE) has been launched at the Cross Language Evaluation Forum 2006. This task is aimed at developing systems able to decide whether the answer...
ROOM
2000
13 years 11 months ago
2000
We describe a language which can be used to model business processes (both technical and nontechnical). It has a formal semantics, so as to enable formal analysis and prediction o...
LPNMR
2011
Springer
13 years 22 days ago
2011
Springer
Over the last 25 years there has been considerable body of research into combinations of predicate logic and probability forming what has become known as (perhaps misleadingly) sta...