3828 search results - page 196 / 766 » Proof-Based System Engineering Using a Virtual System Model |
228
click to vote
WOSP
1998
ACM
15 years 10 months ago
1998
ACM
The POEMS project is creating an environment for end-to-end performance modeling of complex parallel and distributed systems, spanning the domains of application software, runti...
171
click to vote
FGR
1998
IEEE
15 years 10 months ago
1998
IEEE
Colour cues were used to obtain robust detection and tracking of people in relatively unconstrained dynamic scenes. Gaussian mixture models were used to estimate probability densi...
194
click to vote
EMSOFT
2009
Springer
16 years 1 months ago
2009
Springer
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...
183
click to vote
COMPSAC
2003
IEEE
15 years 11 months ago
2003
IEEE
Over the past years, the reengineering of legacy software systems to object oriented platforms has received significant attention. In this paper, we present a generic re-engineeri...
176
click to vote
ICEBE
2005
IEEE
16 years 21 hour ago
2005
IEEE
This paper presents a process modeling language known as the GridPML for the composition of Grid Services. The GridPML is an XML-based language that supports basic control flow co...