9626 search results - page 1362 / 1926 » Invariant Based Programming |
194
click to vote
OOPSLA
2007
Springer
16 years 1 months ago
2007
Springer
Current real-world software applications typically involve heavy use of relational and XML data and their query languages. Unfortunately object-oriented languages and database que...
221
click to vote
SEKE
2007
Springer
16 years 1 months ago
2007
Springer
One of the impediments to the wide dissemination of software estimation and measurement practices is the significant overhead imposed by these practices on the project and develop...
185
click to vote
SGAI
2007
Springer
16 years 1 months ago
2007
Springer
In this paper we describe a novel technique which implements a spatiotemporal model as a set of sub-models based on first order logic. These sub-models model different, typicall...
151
click to vote
TGC
2007
Springer
16 years 1 months ago
2007
Springer
Several models based on process calculi have addressed the definition of linguistic primitives for handling long running transactions and Service Level Agreement (SLA) in service ...
188
click to vote
WINE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We consider the problem of computing additively approximate Nash equilibria in non-cooperative two-player games. We provide a new polynomial time algorithm that achieves ...