Sciweavers

11214 search results - page 1791 / 2243
» Programming Multi-agent Systems
Sort
View
SPLC
2007
15 years 8 months ago
A Case Study Implementing Features Using AspectJ
Software product lines aim to create highly configurable programs from a set of features. Common belief and recent studies suggest that aspects are well-suited for implementing f...
Christian Kästner, Sven Apel, Don S. Batory
WCET
2007
15 years 8 months ago
WCET Analysis: The Annotation Language Challenge
Worst-case execution time (WCET) analysis is indispensable for the successful design and development of systems, which, in addition to their functional constraints, have to satisf...
Raimund Kirner, Jens Knoop, Adrian Prantl, Markus ...
CADE
2010
Springer
15 years 8 months ago
MUNCH - Automated Reasoner for Sets and Multisets
This system description provides an overview of the MUNCH reasoner for sets and multisets. MUNCH takes as the input a formula in a logic that supports expressions about sets, multi...
Ruzica Piskac, Viktor Kuncak
ECAI
2010
Springer
15 years 8 months ago
ISAC - Instance-Specific Algorithm Configuration
We present a new method for instance-specific algorithm configuration (ISAC). It is based on the integration of the algorithm configuration system GGA and the recently proposed sto...
Serdar Kadioglu, Yuri Malitsky, Meinolf Sellmann, ...
EUROITV
2008
Springer
15 years 8 months ago
An Experimental Platform Based on MCE for Interactive TV
In this paper, we propose an experimental platform for the design of interactive TV. On this platform, designers are allowed to emulate broadcasting programs, define control functi...
Ping-Yi Liu, Hung-Wei Lee, Tsai-Yen Li, Shwu-Lih H...
« Prev « First page 1791 / 2243 Last » Next »