1223 search results - page 197 / 245 » A Logic for Reasoning about Evidence |
MKM
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. There are many styles for the narrative structure of a mathematical document. Each mathematician has its own conventions and traditions about labeling portions of texts (...
SEKE
2005
Springer
14 years 1 months ago
2005
Springer
Checking for properties of Web ontologies is important for the development of reliable Semantic Web systems. Software specification and verification tools can be used to complem...
DFG
2004
Springer
14 years 1 months ago
2004
Springer
Programmable Logic Controllers (PLC) are widely used as device controllers for assembly lines, chemical processes, or power plants. Sequential Function Charts (SFC) form one of the...
UML
2004
Springer
14 years 29 days ago
2004
Springer
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...
ICFP
2000
ACM
13 years 12 months ago
2000
ACM
We show that standard formulations of intersection type systems are unsound in the presence of computational effects, and propose a solution similar to the value restriction for ...