284 search results - page 20 / 57 » Formal Foundation for Pattern-Based Modelling |
141
click to vote
POPL
2012
ACM
13 years 10 months ago
2012
ACM
There has been great interest in creating probabilistic programming languages to simplify the coding of statistical tasks; however, there still does not exist a formal language th...
106
click to vote
ESWS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Creating a coherent set of ontologies to support a collaborative design process amongst different firms which develop mechatronic products is a challenge due to the seman...
112
click to vote
ARTMED
2006
15 years 2 months ago
2006
Objective: The objective of this paper is to demonstrate how a formal spatial theory can be used as an important tool for disambiguating the spatial information embodied in biomed...
ENTCS
2007
15 years 2 months ago
2007
The application scenarios envisioned for ‘global ubiquitous computing’ have unique requirements that are often incompatible with traditional security paradigms. One alternativ...
109
Voted
ENTCS
2007
15 years 2 months ago
2007
The paper reports on the foundations and experimental results with a model checker for component connectors modelled by networks of channels in the calculus Reo. The specificatio...