3771 search results - page 675 / 755 » Subobject Transformation Systems |
103
click to vote
INFSOF
2010
15 years 29 days ago
2010
Program analysis techniques are used by software engineers to deduce and infer characteristics of software systems. Recent research has suggested that certain program analysis tec...
118
click to vote
JOT
2010
15 years 28 days ago
2010
Abstract The integration of database and programming languages is difficult due to the different data models and type systems prevalent in each field. We present a solution wher...
125
click to vote
KBSE
2010
IEEE
15 years 28 days ago
2010
IEEE
We study the problem of statistical model checking of probabilistic systems for PCTL unbounded until property P1p(ϕ1 U ϕ2) (where 1 ∈ {<, ≤, >, ≥}) using the computa...
139
click to vote
NC
2010
15 years 27 days ago
2010
My main objective is to point out a fundamental weakness in the conventional conception of computation and suggest a promising way out. This weakness is directly related to a gross...
122
click to vote
OOPSLA
2010
Springer
15 years 27 days ago
2010
Springer
Continuation-based Web servers provide advantages over traditional Web application development through the increase of expressive power they allow. This leads to fewer errors and ...