Sciweavers

2519 search results - page 94 / 504
» MASUP: An Agent-Oriented Modeling Process for Information Sy...
Sort
View
FAST
2009
15 years 4 months ago
A Formal Model of Provenance in Distributed Systems
We present a formalism for provenance in distributed systems based on the -calculus. Its main feature is that all data products are annotated with metadata representing their prov...
Issam Souilah, Adrian Francalanza, Vladimiro Sasso...
COOPIS
2004
IEEE
15 years 10 months ago
Making Workflow Models Sound Using Petri Net Controller Synthesis
More and more companies use "process aware" information systems to make their business processes more efficient. To do this, workflow definitions must be formulated in a ...
Juliane Dehnert, Armin Zimmermann
ICASSP
2011
IEEE
14 years 10 months ago
Speaker diarization of meetings based on speaker role n-gram models
Speaker diarization of meeting recordings is generally based on acoustic information ignoring that meetings are instances of conversations. Several recent works have shown that th...
Fabio Valente, Deepu Vijayasenan, Petr Motlí...
JSAC
2010
194views more  JSAC 2010»
15 years 4 months ago
Burst communication by means of buffer allocation in body sensor networks: Exploiting signal processing to reduce the number of
Abstract—Monitoring human movements using wireless sensory devices promises to revolutionize the delivery of healthcare services. Such platforms use inertial information of their...
Hassan Ghasemzadeh, Vitali Loseu, Sarah Ostadabbas...
ICASSP
2011
IEEE
14 years 10 months ago
Fundamental diversity, multiplexing, and array gain tradeoff under different MIMO channel models
Following the seminal work of Zheng and Tse on the diversity and multiplexing tradeoff (DMT) of MIMO channels, in this paper we introduce the array gain to investigate the fundame...
Luis Garcia Ordóñez, Daniel Pé...