Sciweavers

7529 search results - page 317 / 1506
» The Modula-3 Type System
Sort
View
TPCTC
2009
Springer
190views Hardware» more  TPCTC 2009»
16 years 1 months ago
A Performance Study of Event Processing Systems
Abstract. Event processing engines are used in diverse mission-critical scenarios such as fraud detection, traffic monitoring, or intensive care units. However, these scenarios hav...
Marcelo R. N. Mendes, Pedro Bizarro, Paulo Marques
DFT
2005
IEEE
178views VLSI» more  DFT 2005»
16 years 9 days ago
Inter-Plane Via Defect Detection Using the Sensor Plane in 3-D Heterogeneous Sensor Systems
Defect and fault tolerance is being studied in a 3D Heterogeneous Sensor using a stacked chip with sensors located on the top plane, and inter-plane vias connecting these to other...
Glenn H. Chapman, Vijay K. Jain, Shekhar Bhansali
ICEBE
2005
IEEE
135views Business» more  ICEBE 2005»
16 years 9 days ago
GridPML: A Process Modeling Language and History Capture System for Grid Service Composition
This paper presents a process modeling language known as the GridPML for the composition of Grid Services. The GridPML is an XML-based language that supports basic control flow co...
Hua Ma, Susan Darling Urban, Yang Xiao, Suzanne W....
BIRTHDAY
2004
Springer
15 years 10 months ago
On Model Checking Data-Independent Systems with Arrays with Whole-Array Operations
Abstract. We consider programs which are data independent with respect to two type variables X and Y , and can in addition use arrays indexed by X and storing values from Y . We ar...
Ranko Lazic, Thomas Christopher Newcomb, A. W. Ros...
ECIS
2004
15 years 8 months ago
Inter-organizational knowledge management systems: typology and cases
Although companies are more and more developing complex networks of connections with their partners and customers and shifting their focus towards expanding the knowledge manageme...
Kostas Kafentzis, Dimitris Apostolou, Gregoris Men...