4919 search results - page 200 / 984 » A Process-Ontological Model for Software Engineering |
169
click to vote
CCE
2008
15 years 6 months ago
2008
Scheduling of processes in mixed batch/continuous plants, due to their hybrid nature can become very complex. This paper presents the Timed Hybrid Petri net (THPN) as a suitable t...
152
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Overture is a community-based initiative that aims to develop a common open-source platform integrating a range of tools for constructing and analysing formal models of systems us...
186
click to vote
SLOGICA
2011
15 years 1 months ago
2011
The literature on quantum logic emphasizes that the algebraic structures involved with orthodox quantum mechanics are non distributive. In this paper we develop a particular algeb...
224
click to vote
TCBB
2011
15 years 1 months ago
2011
Galled trees, directed acyclic graphs that model evolutionary histories with isolated hybridization events, have become very popular due to both their biological significance and ...
206
click to vote
TASLP
2011
15 years 1 months ago
2011
—We present a simple and efficient feature modeling approach for tracking the pitch of two simultaneously active speakers. We model the spectrogram features of single speakers u...