3828 search results - page 52 / 766 » Proof-Based System Engineering Using a Virtual System Model |
144
click to vote
VRML
2004
ACM
15 years 7 months ago
2004
ACM
Increasingly, biology researchers and medical practitioners are using computational tools to model and analyze dynamic systems across scales from the macro to the cellular to the ...
109
Voted
ER
2009
Springer
15 years 9 months ago
2009
Springer
Various characteristics of the problem domain define the context in which the system is to operate and thus impact heavily on its requirements. However, most requirements specifica...
128
click to vote
SIGSOFT
2003
ACM
16 years 3 months ago
2003
ACM
State machine based formalisms such as labelled transition systems (LTS) are generally assumed to be complete descriptions m behaviour at some level of abstraction: if a labelled ...
130
click to vote
ETFA
2008
IEEE
15 years 4 months ago
2008
IEEE
In this paper we discuss the separation between attributes on functionality and on structure following an approach based on Model Driven Engineering (MDE). We adopt a methodologic...
105
click to vote
ACII
2005
Springer
15 years 7 months ago
2005
Springer
Tracking people using movie sequences is not straightforward because of the human body's articulation and the complexity of a person's movements. In this paper we show ho...