3239 search results - page 365 / 648 » A Logical Process Calculus |
132
click to vote
TOOLS
2008
IEEE
15 years 10 months ago
2008
IEEE
There is a growing research interest in employing the logic paradigm for making queries on software in general, and OOP software in particular. We describes a side-effect-free tech...
136
click to vote
ICCAD
2007
IEEE
15 years 10 months ago
2007
IEEE
—In latency-insensitive design shell modules are used to encapsulate system components (pearls) in order to interface them with the given latency-insensitive protocol and dynamic...
118
click to vote
LFCS
2007
Springer
15 years 10 months ago
2007
Springer
LP can be seen as a logic of knowledge with justifications. Artemov’s Realization Theorem says justifications can be extracted from validities in the more conventional Hintikk...
137
click to vote
PPDP
2007
Springer
15 years 10 months ago
2007
Springer
Static analyses provide the semantic foundation for tools ranging from optimizing compilers to refactoring browsers and advanced debuggers. Unfortunately, developing new analysis ...
139
click to vote
SAC
2005
ACM
15 years 9 months ago
2005
ACM
Finding rapidly suitable experts in an organization to compose a team able to solve specific tasks is a typical problem in large consulting firms. In this paper we present a Des...