3828 search results - page 276 / 766 » Proof-Based System Engineering Using a Virtual System Model |
189
click to vote
CIVR
2007
Springer
16 years 23 days ago
2007
Springer
In this paper, we present the FOX-MIIRE 3D-Model Search Engine. Our search engine is based on Adaptive Views Vlustering (AVC) algorithm [4]. The AVC method uses statistical model ...
179
click to vote
ICSM
2003
IEEE
15 years 12 months ago
2003
IEEE
Software systems no longer evolve as separate entities but are also integrated with each other. The purpose of integrating software systems can be to increase user-value or to dec...
186
click to vote
ICSM
1997
IEEE
15 years 10 months ago
1997
IEEE
To reduce the effort spent on system comprehension during software maintenance, easy access to different type of information describing the system features is necessary. This is u...
165
click to vote
ECSCW
2001
15 years 8 months ago
2001
This paper compares the properties of physical and digital workspaces in the context of a prototype of a collaborative virtual environment that has been developed with reference to...
183
click to vote
COMCOM
2007
15 years 6 months ago
2007
This paper addresses the issue of provisioning end-to-end bandwidth guarantees across multiple Autonomous Systems (ASes). We first review a cascaded model for negotiating and est...