3868 search results - page 315 / 774 » Open Systems in TLA |
177
Voted
SIGSOFT
2010
ACM
15 years 5 months ago
2010
ACM
Declarative policies play a central role in many modern software systems. Engineering policies and their interactions with programs raises many interesting open questions. Categor...
199
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Together with the concept of reversibility, another relevant physical notion is time-symmetry, which expresses that there is no way of distinguishing between backward and forward t...
191
Voted
JOTA
2011
15 years 2 months ago
2011
In this paper we consider the linear symmetric cone programming (SCP). At a KarushKuhn-Tucker (KKT) point of SCP, we present the important equivalent conditions for the nonsingula...
232
Voted
COMGEO
2010
ACM
16 years 9 days ago
2010
ACM
Many producers of geographic information are now disseminating their data using open web service protocols, notably those published by the Open Geospatial Consortium. There are ma...
300
click to vote
ECMDAFA
2011
Springer
14 years 11 months ago
2011
Springer
Abstract. Model-Driven Engineering (MDE) aims at improving the development of software systems. Within this context textual concrete syntaxes for models are beneficial for many re...