3828 search results - page 535 / 766 » Proof-Based System Engineering Using a Virtual System Model |
196
click to vote
ISSRE
2002
IEEE
15 years 11 months ago
2002
IEEE
An important aspect of developing models relating the number and type of faults in a software system to a set of structural measurement is defining what constitutes a fault. By de...
176
click to vote
ICPADS
2008
IEEE
16 years 29 days ago
2008
IEEE
We collected packet traces from Second Life client sessions and analyzed the packet contents. We observed that textures constitute a majority of the network traffic. We further c...
142
click to vote
VAST
2004
ACM
15 years 12 months ago
2004
ACM
The results of a project aimed to the study, reconstruction and presentation to the public of a monument disassembled and dispersed, the mausoleum of the emperor Arrigo VII, are p...
163
click to vote
IUI
2005
ACM
16 years 3 days ago
2005
ACM
Pinpoint is a promising first step towards using a rich model of task context in proactive and dynamic IR systems. Pinpoint allows a user to navigate decision tree representations...
265
click to vote
WWW
2005
ACM
16 years 3 days ago
2005
ACM
Semantic Web Information Systems (SWIS) are Web Information Systems that use Semantic Web technologies. Hera is a modeldriven design methodology for SWIS. In Hera, models are repr...