4919 search results - page 200 / 984 » A Process-Ontological Model for Software Engineering |
130
Voted
CCE
2008
15 years 3 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...
115
Voted
SIGSOFT
2010
ACM
15 years 1 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...
142
Voted
SLOGICA
2011
14 years 10 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...
170
Voted
TCBB
2011
14 years 10 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 ...
153
Voted
TASLP
2011
14 years 10 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...