Sciweavers

2245 search results - page 287 / 449
» A Case Study Implementing Features Using AspectJ
Sort
View
AAAI
2006
15 years 7 months ago
Fast SAT-based Answer Set Solver
Recent research shows that SAT (propositional satisfiability) techniques can be employed to build efficient systems to compute answer sets for logic programs. ASSAT and CMODELS ar...
Zhijun Lin, Yuanlin Zhang, Hector Hernandez
ECIS
2000
15 years 7 months ago
Linking Knowledge Management and Innovation
There has been an explosion of interest in Knowledge Management [KM] theory and practice. However, it is argued here that much of this work fails to consider the purpose for which...
Jacky Swan, Sue Newell
CCE
2004
15 years 6 months ago
Mathematical modelling and design of an advanced once-through heat recovery steam generator
The once-through heat recovery steam generator (HRSG) design is ideally matched to very high temperature and pressure, well into the supercritical range. Moreover this type of boi...
Marie-Noëlle Dumont, Georges Heyen
ATVA
2010
Springer
142views Hardware» more  ATVA 2010»
15 years 4 months ago
On Scenario Synchronization
: Narrowing the wide conceptual gap between problem and implementation domains is considered a significant factor within software engineering. Currently, such a relation is often o...
Duc-Hanh Dang, Anh-Hoang Truong, Martin Gogolla
ICMCS
2009
IEEE
153views Multimedia» more  ICMCS 2009»
15 years 4 months ago
Network coding-aware rate control and scheduling in wireless networks
Network coding has been recently applied to wireless networks to increase throughput. It is typically implemented as a thin layer between MAC and IP, transparently to higher layer...
Hulya Seferoglu, Athina Markopoulou, Ulas C. Kozat