1833 search results - page 79 / 367 » Mechanized Verification with Sharing |
120
Voted
SAC
2010
ACM
14 years 10 months ago
2010
ACM
Verification conditions (VCs) are logical formulae whose validity implies the correctness of a program with respect to a specification. The technique of checking software properti...
CDVE
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Existing tools for supporting parallel work feature some disadvantages that prevent them to be widely used. Very often they require a complex installation and creation of...
82
Voted
IADIS
2003
15 years 2 months ago
2003
There is currently a lack of rich description attached to materials science content available on the Web as well as usercentered tools to attach such description. Dublin Core (DC)...
138
Voted
INFOCOM
2012
IEEE
13 years 3 months ago
2012
IEEE
Abstract—As the rapid expansion of smart phones and associated data-intensive applications continues, we expect to see renewed interest in dynamic prioritization schemes as a way...
110
Voted
ICSE
2008
IEEE-ACM
16 years 1 months ago
2008
IEEE-ACM
Timed Interval Calculus (TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-time systems. However, it lacks mechanical proving support...