Sciweavers

331 search results - page 34 / 67
» The Plaited Structure of Time in Information Technology
Sort
View
RTAS
2008
IEEE
14 years 5 months ago
Optimizing the Implementation of Communication in Synchronous Reactive Models
A fundamental asset of a model-based development process is the capability of providing an automatic implementation of the model that preserves its semantics and, at the same time...
Marco Di Natale, Guoqiang Wang, Alberto L. Sangiov...
HICSS
2002
IEEE
143views Biometrics» more  HICSS 2002»
14 years 3 months ago
Business Intelligence in Healthcare Organizations
The management of healthcare organizations starts to recognize the relevance of the definition of care products in relation to management information. In the turmoil between costs...
Ton A. M. Spil, Robert A. Stegwee, Christian J. A....
LATIN
2004
Springer
14 years 4 months ago
Approximating the Expressive Power of Logics in Finite Models
Abstract. We present a probability logic (essentially a first order language extended with quantifiers that count the fraction of elements in a model that satisfy a first order ...
Argimiro Arratia, Carlos E. Ortiz
DELTA
2006
IEEE
14 years 2 months ago
Synthesis of Nanoelectronic Circuits on Delay-Insensitive Cellular Arrays
The difficulties of designing nanoscale circuits include the need for regular circuit structure and controlling the timing requirements. A cellular array has highly regular struct...
Jia Di, Dilip P. Vasudevan
CAISE
2010
Springer
13 years 12 months ago
Supporting Semantic Search on Heterogeneous Semi-structured Documents
This paper presents SHIRI-Querying 3 , an approach for semantic search on semi-structured documents. We propose a solution to tackle incompleteness and imprecision of semantic anno...
Yassine Mrabet, Nacéra Bennacer, Nathalie P...