2291 search results - page 399 / 459 » Logic Programming and Model Checking |
130
click to vote
EMSOFT
2011
Springer
14 years 1 months ago
2011
Springer
We describe a certification approach for software development that has been adopted at our organization. JPL develops robotic spacecraft for the exploration of the solar system. T...
134
click to vote
EPIA
2003
Springer
15 years 7 months ago
2003
Springer
The Semantic Web is a “living organism”, which combines autonomously evolving data sources/knowledge repositories. This dynamic character of the Semantic Web requires (declarat...
111
Voted
ISMIS
2003
Springer
15 years 7 months ago
2003
Springer
As broadband access to the Internet becomes pervasive, the need for a 24 hours a day, seven days a week (24x7) interface within the client devices, requires a level of sophisticati...
127
click to vote
LICS
2002
IEEE
15 years 7 months ago
2002
IEEE
Proof-Carrying Code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language...
116
click to vote
ICALP
2010
Springer
15 years 7 months ago
2010
Springer
Universal Coalgebra provides the notion of a coalgebra as the natural mathematical generalization of state-based evolving systems such as (infinite) words, trees, and transition s...