Sciweavers

3365 search results - page 569 / 673
» Digital System Design: Architectures, Methods and Tools
Sort
View
LSMS
2007
Springer
15 years 6 months ago
AOC-by-Self-discovery Modeling and Simulation for HIV
Among HIV, immune cell and drug, exhibit interactions that are usually not well understood and as a result, cannot be accurately modeled. In this paper, Modeling by AOC is to under...
Chunxiao Zhao, Ning Zhong, Ying Hao
CIG
2005
IEEE
15 years 5 months ago
On TRACS: Dealing with a Deck of Double-Sided Cards
TRACS (Tool for Research on Adaptive Cognitive Strategies) is a new suite of card games played with a special deck, where the back of each card is a clue to the front of the card. ...
Kevin Burns
FM
2005
Springer
89views Formal Methods» more  FM 2005»
15 years 5 months ago
Control Law Diagrams in Circus
Abstract. Control diagrams are routinely used by engineers in the design of control systems. Yet, currently the formal verification of programs that implement the diagrams is a ch...
Ana Cavalcanti, Phil Clayton, Colin O'Halloran
SWAP
2007
15 years 1 months ago
An Approach to Decision Support in Heart Failure
Chronic heart failure is a severe clinical syndrome among the most remarkable for prevalence and morbidity in the developed western countries. The European STREP project HEARTFAID ...
Sara Colantonio, Massimo Martinelli, Davide Moroni...
DKE
2007
115views more  DKE 2007»
14 years 12 months ago
Business process management: Where business processes and web services meet
Abstract. Business Process Management (BPM) includes methods, techniques, and tools to support the design, enactment, management, and analysis of operational business processes. Th...
Wil M. P. van der Aalst, Boualem Benatallah, Fabio...