199 search results - page 27 / 40 » A Fully Abstract Model for Graph-Interpreted Temporal Logic |
ICCS
2004
Springer
15 years 7 months ago
2004
Springer
Multiparadigm approach integrates programming language paradigms. We propose Holoparadigm (Holo) as a multiparadigm model oriented to development of grid systems. Holo uses a logi...
128
click to vote
GECCO
2007
Springer
15 years 5 months ago
2007
Springer
Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most model checke...
128
Voted
VMCAI
2009
Springer
15 years 8 months ago
2009
Springer
Given a 3-valued abstraction of a program (possibly generated using rogram analysis and predicate abstraction) and a temporal logic formula, generalized model checking (GMC) checks...
125
Voted
FCT
2005
Springer
15 years 7 months ago
2005
Springer
We consider terms of simply typed lambda calculus in which copy of a subterm may not be inserted to the argument of itself during the reduction. The terms form wide class which inc...
111
click to vote
CAISE
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (Soa) paradigm. We propose in this paper a t...