1988 search results - page 147 / 398 » Engineering formal metatheory |
162
click to vote
COMPSAC
2007
IEEE
16 years 26 days ago
2007
IEEE
Program verification is a promising approach to improving program quality. To formally verify aspectoriented programs, we have to find a way to formally specify programs written i...
165
click to vote
SEFM
2007
IEEE
16 years 24 days ago
2007
IEEE
We give a formal account of a calculus for modeling service-based systems, suitable to describe both service composition (orchestration) and the protocol that services run when in...
159
click to vote
B
2007
Springer
16 years 21 days ago
2007
Springer
Following a brief discussion of uniprocessor scheduling in which we argue the case for formal analysis, we describe a distributed Event B model of interrupt driven scheduling. We ï...
169
click to vote
PEPM
2007
ACM
16 years 19 days ago
2007
ACM
XML graphs have shown to be a simple and effective formalism for representing sets of XML documents in program analysis. It has evolved through a six year period with variants tai...
187
click to vote
APSEC
2005
IEEE
16 years 4 days ago
2005
IEEE
Started in the beginning of 2001, the Semantic Web is regarded by many as the next generation of the Web. Ontology languages are the building blocks of Semantic Web as they provid...