3468 search results - page 88 / 694 » An open logical framework |
117
click to vote
ACMICEC
2005
ACM
15 years 2 months ago
2005
ACM
This article starts by considering the global framework of current open source migration. We show that the fight against software piracy is most likely speeding up the adoption es...
111
click to vote
COORDINATION
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Coordination languages are often used to describe open ended systems. This makes it challenging to develop tools for guaranteeing security of the coordinated systems and ...
DEON
2008
Springer
15 years 2 months ago
2008
Springer
In this paper we define a framework to introduce gradedness in Deontic logics through the use of fuzzy modalities. By way of example, we instantiate the framework to Standard Deont...
IGPL
2008
15 years 20 days ago
2008
A new version of transition logic is presented. It integrates (dynamic) transitions, which change world states, and classical (static) reasoning, restricted in the paper to Horn l...
97
Voted
KBSE
2007
IEEE
15 years 7 months ago
2007
IEEE
Programmers commonly reuse existing frameworks or libraries to reduce software development efforts. One common problem in reusing the existing frameworks or libraries is that the...