Sciweavers

1661 search results - page 183 / 333
» Real-time specification patterns
Sort
View
DAC
2009
ACM
16 years 2 months ago
Human computing for EDA
Electronic design automation is a field replete with challenging ? and often intractable ? problems to be solved over very large instances. As a result, the field of design automa...
Andrew DeOrio, Valeria Bertacco
ISBI
2004
IEEE
16 years 2 months ago
Detection of Functional Networks In The Resting Brain
Recently, increasing attention has focused on exploring brain activity during rest. A current challenge is to ascertain activity patterns without using an external reference. In t...
Yong He, Yufeng Zang, Tianzi Jiang, Yingli Lu, Xuc...
CADE
2006
Springer
16 years 2 months ago
Partial Recursive Functions in Higher-Order Logic
Abstract. Based on inductive definitions, we develop an automated tool for defining partial recursive functions in Higher-Order Logic and providing appropriate reasoning tools for ...
Alexander Krauss
111
Voted
ICNSC
2008
IEEE
15 years 8 months ago
Mining the Royal Portrait Miniature for the Art Historical Context
— the eleventh-century royal portrait miniature painting of King Gagik-Abas of Kars, Queen Goranduxt, and Princess Marem is an important image within the realm of Armenian art hi...
Steve Read, Yu Cao, Hazel Antaramian-Hofman
140
Voted
IEEESCC
2008
IEEE
15 years 8 months ago
A Fault Tolerance Approach for Enterprise Applications
Service Oriented Architectures (SOAs) have emerged as a preferred solution to tackle the complexity of large-scale, complex, distributed, and heterogeneous systems. Key to success...
Vina Ermagan, Ingolf Krüger, Massimiliano Men...