Sciweavers

1855 search results - page 124 / 371
» System Consequence
Sort
View
141
Voted
ICMT
2010
Springer
15 years 2 months ago
Implementing Business Process Recovery Patterns through QVT Transformations
Traditionally, software maintenance takes only technical information into account to evolve legacy systems. However, business knowledge, which could help to improve the comprehensi...
Ricardo Pérez-Castillo, Ignacio Garcí...
ICDE
2008
IEEE
125views Database» more  ICDE 2008»
16 years 5 months ago
Just-In-Time Processing of Continuous Queries
In a data stream management system, a continuous query is processed by an execution plan consisting of multiple operators connected via the "consumer-producer" relationsh...
Yin Yang, Dimitris Papadias
104
Voted
HICSS
2010
IEEE
161views Biometrics» more  HICSS 2010»
15 years 10 months ago
Analysis of Marginal Carbon Intensities in Constrained Power Networks
Jurisdictions across the globe are implementing CO2 emissions reduction policies. These policies typically ignore most locational issues, probably because the consequences of gree...
Pablo A. Ruiz, Aleksandr Rudkevich
TACAS
2009
Springer
115views Algorithms» more  TACAS 2009»
15 years 10 months ago
Iterating Octagons
Abstract. In this paper we prove that the transitive closure of a nondeterministic octagonal relation using integer counters can be expressed in Presburger arithmetic. The direct c...
Marius Bozga, Codruta Gîrlea, Radu Iosif
ESAW
2009
Springer
15 years 10 months ago
Agent Architectures for Compliance
A Normative Multi-Agent System consists of autonomous agents who must comply with social norms. Different kinds of norms make different assumptions about the cognitive architecture...
Brigitte Burgemeestre, Joris Hulstijn, Yao-Hua Tan