7206 search results - page 1216 / 1442 » Using a Hypermedia System for Systems Engineering |
188
click to vote
VEE
2005
ACM
16 years 21 days ago
2005
ACM
Virtual Machine (VM) environments (e.g., VMware and Xen) are experiencing a resurgence of interest for diverse uses including server consolidation and shared hosting. An applicati...
202
click to vote
ICFEM
2005
Springer
16 years 19 days ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
205
click to vote
UML
2005
Springer
16 years 18 days ago
2005
Springer
Abstract. Evaluating the implications of an architecture design early in the software development lifecycle is important in order to reduce costs of development. Reliability is an ...
213
click to vote
ITCC
2003
IEEE
16 years 12 days ago
2003
IEEE
We present an efficient algorithm called the Quadtree Heuristic for identifying a list of similar terms for each unique term in a large document collection. Term similarity is de...
190
click to vote
FSTTCS
2003
Springer
16 years 10 days ago
2003
Springer
Tagging schemes have been used in security protocols to ensure that the analysis of such protocols can work with messages of bounded length. When the set of nonces is bounded, this...