Sciweavers

1733 search results - page 163 / 347
» Adaptation Control in Adaptive Hypermedia Systems
Sort
View
134
Voted
WCRE
2006
IEEE
15 years 10 months ago
Mining Control Flow Graphs for Crosscutting Concerns
Aspect mining tries to identify crosscutting concerns in existing systems and thus supports the adaption to an aspect-oriented design. This paper describes an automatic static asp...
Jens Krinke
150
Voted
CNL
2009
15 years 5 months ago
The Naproche Project Controlled Natural Language Proof Checking of Mathematical Texts
Abstract. This paper discusses the semi-formal language of mathematics and presents the Naproche CNL, a controlled natural language for mathematical authoring. Proof Representation...
Marcos Cramer, Bernhard Fisseni, Peter Koepke, Dan...
152
Voted
CONEXT
2009
ACM
15 years 5 months ago
ARES: an anti-jamming reinforcement system for 802.11 networks
Dense, unmanaged 802.11 deployments tempt saboteurs into launching jamming attacks by injecting malicious interference. Nowadays, jammers can be portable devices that transmit int...
Konstantinos Pelechrinis, Ioannis Broustis, Srikan...
ICASSP
2009
IEEE
15 years 11 months ago
Self-optimizing scheme for active noise and vibration control
This paper presents a new approach to rejection of sinusoidal disturbances acting at the output of a discrete-time complexvalued linear stable plant (e.g. acoustic channel) with u...
Maciej Niedzwiecki, Michal Stanislaw Meller
JITECH
2010
116views more  JITECH 2010»
15 years 3 months ago
Design theory for dynamic complexity in information infrastructures: the case of building internet
We propose a design theory that tackles dynamic complexity in the design for Information Infrastructures (IIs) defined as a shared, open, heterogeneous and evolving socio-technica...
Ole Hanseth, Kalle Lyytinen