Sciweavers

6079 search results - page 166 / 1216
» Aspect-Oriented Process Engineering
Sort
View
CODES
2001
IEEE
13 years 12 months ago
The usage of stochastic processes in embedded system specifications
We review the use of nondeterminism and identify two different purposes. The descriptive purpose handles uncertainties in the behaviour of existing entities. The constraining purp...
Axel Jantsch, Ingo Sander, Wenbiao Wu
FASE
2000
Springer
13 years 11 months ago
A Process Algebra for Real-Time Programs
Abstract. We introduce a generalised notion of a real-time speci cation language (\GPLC-Automata") that can be translated directly into real-time programs. In order to describ...
Henning Dierks
PDSE
1998
131views more  PDSE 1998»
13 years 9 months ago
A Formally Founded Description Technique for Business Processes
As a means of modeling typical system behavior, we present a description technique for business processes derived from data flow nets and provide it with a formal semantics based ...
Veronika Thurner
CCE
2010
13 years 5 months ago
Multi-scale methods and complex processes: A survey and look ahead
AbstrAct A comprehensive overview of numerical methodologies currently available for analyzing and building understanding of complex processes is presented. Both equation-free and ...
Angelo Lucia
CIKM
2008
Springer
13 years 10 months ago
CE2: towards a large scale hybrid search engine with integrated ranking support
The Web contains a large amount of documents and increasingly, also semantic data in the form of RDF triples. Many of these triples are annotations that are associated with docume...
Haofen Wang, Thanh Tran, Chang Liu