Sciweavers

6757 search results - page 213 / 1352
» Knowledge Analysis on Process Models
Sort
View
IPPS
2006
IEEE
16 years 15 days ago
Formal modeling and analysis of wireless sensor network algorithms in Real-Time Maude
Advanced wireless sensor network algorithms pose challenges to their formal modeling and analysis, such as modeling probabilistic and real-time behaviors and novel forms of commun...
Peter Csaba Ölveczky, Stian Thorvaldsen
DATE
2006
IEEE
125views Hardware» more  DATE 2006»
16 years 16 days ago
Formal performance analysis and simulation of UML/SysML models for ESL design
UML2 and SysML try to adopt techniques known from software development to systems engineering. However, the focus has been put on modeling aspects until now and quantitative perfo...
Alexander Viehl, Timo Schönwald, Oliver Bring...
BIRTHDAY
1997
Springer
15 years 10 months ago
Spatial and Temporal Structures in Cognitive Processes
The structures of space and time are identified as essential for the realization of cognitive systems. It is suggested that the omnipresence of space and time may have been respons...
Christian Freksa
ECSQARU
2007
Springer
16 years 19 days ago
Forward-Backward-Viterbi Procedures in the Transferable Belief Model for State Sequence Analysis Using Belief Functions
Abstract. The Transferable Belief Model (TBM) relies on belief functions and enables one to represent and combine a variety of knowledge from certain up to ignorance as well as con...
Emmanuel Ramasso, Michèle Rombaut, Denis Pe...
EMISA
2005
Springer
16 years 9 hour ago
A Domain Engineering Approach to Specifying and Applying Reference Models
: Business process modeling and design, as an essential part of business process management, has gained much attention in recent years. An important tool for this purpose is refere...
Iris Reinhartz-Berger, Pnina Soffer, Arnon Sturm