Sciweavers

3919 search results - page 479 / 784
» Modelling Dynamic Forgetting in Distributed Information Syst...
Sort
View
CALCO
2007
Springer
118views Mathematics» more  CALCO 2007»
16 years 27 days ago
Coalgebraic Epistemic Update Without Change of Model
Abstract. We present a coalgebraic semantics for reasoning about information update in multi-agent systems. The novelty is that we have one structure for both states and actions an...
Corina Cîrstea, Mehrnoosh Sadrzadeh
ICWS
2008
IEEE
15 years 8 months ago
Discovering Reference Process Models by Mining Process Variants
Recently, a new generation of adaptive Process-Aware Information Systems (PAIS) has emerged, which allows for dynamic process and service changes (e.g., to insert, delete, and mov...
Chen Li, Manfred Reichert, Andreas Wombacher
174
Voted
ASAP
2005
IEEE
165views Hardware» more  ASAP 2005»
16 years 10 days ago
CONAN - A Design Exploration Framework for Reliable Nano-Electronics
In this paper we introduce a design methodology that allows the system/circuit designer to build reliable systems out of unreliable nano-scale components. The central point of our...
Sorin Cotofana, Alexandre Schmid, Yusuf Leblebici,...
SC
2009
ACM
16 years 1 months ago
Exploring many task computing in scientific workflows
One of the main advantages of using a scientific workflow management system (SWfMS) to orchestrate data flows among scientific activities is to control and register the whole work...
Eduardo S. Ogasawara, Daniel de Oliveira, Fernando...
168
Voted
CORR
2011
Springer
139views Education» more  CORR 2011»
15 years 1 months ago
A Science Model Driven Retrieval Prototype
This paper is about a better understanding on the structure and dynamics of science and the usage of these insights for compensating the typical problems that arises in metadata-d...
Philipp Mayr, Philipp Schaer, Peter Mutschke