Sciweavers

6474 search results - page 310 / 1295
» Towards a Systemic Approach to Autonomic Systems Engineering
Sort
View
FDL
2007
IEEE
15 years 10 months ago
Towards Assertion Based Verification of Analog and Mixed Signal Designs Using PSL
Abstract-- Analog and Mixed Signal (AMS) designs are important integrated systems that link digital circuits to the analog world. Following the success of PSL verification methodol...
Ghiath Al Sammane, Mohamed H. Zaki, Zhi Jie Dong, ...
147
Voted
CIBSE
2009
ACM
16 years 1 months ago
A Service-Oriented Approach for Model Management
In the Software Engineering (SE) domain, the Model Driven Engineering (MDE)1 paradigm focuses on using models as main software artifacts to provide a full description of software s...
Jorge Luis Pérez-Medina, Dominique Rieu, So...
ICSEA
2009
IEEE
16 years 1 months ago
Towards Resource Consumption-Aware Programming
Abstract—In order to check the fulfilment of non-functional requirements at an early system design and development stage, we provide a framework that facilitates the combination ...
Andreas Holzer, Visar Januzaj, Stefan Kugele
SIGIR
2003
ACM
15 years 12 months ago
Towards Virtual Knowledge Communities in Peer-to-Peer Networks
As a result of the anonymity in todays Web search, it is not possible to receive a personalized search result. Neither prior search results nor search results from other users are ...
Melanie Gnasa, Sascha Alda, Jasmin Grigull, Armin ...
182
Voted
ICDE
2010
IEEE
181views Database» more  ICDE 2010»
15 years 6 months ago
Toward large scale data-aware search: Ranking, indexing, resolution and beyond
Abstract— As the Web has evolved into a data-rich repository, with the standard “page view,” current search engines are becoming increasingly inadequate. To realize data-awar...
Tao Cheng, K. C.-C. Chang