Sciweavers

1679 search results - page 283 / 336
» Pointcuts as Functional Queries
Sort
View
143
Voted
CAV
2007
Springer
121views Hardware» more  CAV 2007»
16 years 8 days ago
Algorithms for Interface Synthesis
Abstract. A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We comp...
Dirk Beyer, Thomas A. Henzinger, Vasu Singh
CIE
2007
Springer
16 years 8 days ago
Speed-Up Theorems in Type-2 Computation
Abstract. A classic result known as the speed-up theorem in machineindependent complexity theory shows that there exist some computable functions that do not have best programs for...
Chung-Chih Li
164
Voted
ER
2007
Springer
142views Database» more  ER 2007»
16 years 8 days ago
Multidimensional Data Modeling for Business Process Analysis
The emerging area of business process intelligence attempts to enhance the analytical capabilities of business process management systems by employing data warehousing and mining t...
Svetlana Mansmann, Thomas Neumuth, Marc H. Scholl
ESWS
2007
Springer
16 years 8 days ago
Media, Politics and the Semantic Web
The media play an important role in the functioning of our society. This role is extensively studied by Communication Scientists, requiring a systematic analysis of media content. ...
Wouter van Atteveldt, Stefan Schlobach, Frank van ...
GPCE
2007
Springer
16 years 7 days ago
Preventing injection attacks with syntax embeddings
Software written in one language often needs to construct sentences in another language, such as SQL queries, XML output, or shell command invocations. This is almost always done ...
Martin Bravenboer, Eelco Dolstra, Eelco Visser