Sciweavers

3362 search results - page 12 / 673
» A definition of subjective possibility
Sort
View
ECMDAFA
2006
Springer
226views Hardware» more  ECMDAFA 2006»
14 years 11 months ago
Definition and Generation of Data Exchange Formats in AUTOSAR
In this paper we present a methodology supporting the definition of data models on basis of a limited set of well-known UML features, thereby allowing these models to be created an...
Mike Pagel, Mark Brörkens
CRIWG
2001
14 years 10 months ago
Coordination of Collaborative Activities: A Framework for the Definition of Tasks Interdependencies
The coordination of interdependencies between tasks in collaborative environments is a very important and difficult endeavor. The separation between tasks and interdependencies al...
Alberto Barbosa Raposo, Léo Pini Magalh&ati...
CORR
2006
Springer
121views Education» more  CORR 2006»
14 years 9 months ago
Use of UML and Model Transformations for Workflow Process Definitions
Currently many different modeling languages are used for workflow definitions in BPM systems. Authors of this paper analyze the two most popular graphical languages, with highest p...
Audris Kalnins, Valdis Vitolins
ECCC
2006
88views more  ECCC 2006»
14 years 9 months ago
On Probabilistic versus Deterministic Provers in the Definition of Proofs Of Knowledge
Abstract. This article points out a gap between two natural formulations of the concept of a proof of knowledge, and shows that in all natural cases (e.g., NP-statements) this gap ...
Mihir Bellare, Oded Goldreich
DOCENG
2008
ACM
14 years 11 months ago
Similarity of XML schema definitions
In this paper we propose a technique for evaluating similarity of XML Schema fragments. Firstly, we define classes of structurally and semantically equivalent XSD constructs. Then...
Irena Mlýnková