3828 search results - page 162 / 766 » Proof-Based System Engineering Using a Virtual System Model |
152
click to vote
SEKE
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents the Agent Factory Development Methodology, an Agent-Oriented Software Engineering (AOSE) methodology that employs a synthesis of the Unified Modelling Languag...
163
click to vote
VR
2009
IEEE
16 years 1 months ago
2009
IEEE
Computer-generated facial avatars have been increasingly used in a variety of virtual reality applications. Emulating the real-world face sculpting process, we present an interact...
186
click to vote
ISSTA
1998
ACM
15 years 10 months ago
1998
ACM
Symbolic model checking has proved highly successful for large nite-state systems, in which states can be compactly encoded using binary decision diagrams (BDDs) or their variants...
142
click to vote
WISER
2004
ACM
15 years 11 months ago
2004
ACM
Many hardware/software co-design models have been proposed [7, 2, 5, 6] that attempt to address problems in the hardware/software interface, in partitioning the system between har...
152
click to vote
IJCNN
2006
IEEE
16 years 10 days ago
2006
IEEE
—Computational models of development aim to describe the mechanisms that underlie the acquisition of new skills or the emergence of new capabilities. The strength of a model is j...