3828 search results - page 348 / 766 » Proof-Based System Engineering Using a Virtual System Model |
208
click to vote
ICDCS
2008
IEEE
16 years 1 months ago
2008
IEEE
3D tele-immersion (3DTI) has recently emerged as a new way of video-mediated collaboration across the Internet. Unlike conventional 2D video-conferencing systems, it can immerse r...
213
click to vote
COMPSAC
2003
IEEE
15 years 12 months ago
2003
IEEE
Short product cycles and rapidly changing requirements are increasingly forcing developers to use agile development strategies like extreme programming and test–driven developme...
214
click to vote
WETICE
1996
IEEE
15 years 11 months ago
1996
IEEE
Communication and coordination play an important role in achieving concurrency in the design of large complex artifacts. It is also widely accepted that design is constraint orien...
140
click to vote
AUSAI
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Programmers employing inference in Bayesian networks typically rely on the inclusion of the model as well as an inference engine into their application. Sophisticated inf...
204
click to vote
IWPC
1996
IEEE
15 years 11 months ago
1996
IEEE
Mastering the complexity of programs and systems, particularly distributed systems, should lead to signi cant improvements in program and system understanding. In this paper we pr...