7206 search results - page 1076 / 1442 » Using a Hypermedia System for Systems Engineering |
160
Voted
QOSA
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Software architecture and software architecture practices become increasingly important for information systems since they enable reasoning on the design of the system. T...
133
click to vote
CODES
2006
IEEE
15 years 11 months ago
2006
IEEE
Accurate modeling of communication is a necessary part of system level design for real-time safety-critical applications. For efficient prediction of a system’s performance, Tra...
121
click to vote
ARCS
2004
Springer
15 years 10 months ago
2004
Springer
Cryptographic methods are widely used within networking and digital rights management. Numerous algorithms exist, e.g. spanning VPNs or distributing sensitive data over a shared ne...
163
click to vote
ICFEM
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We develop a way of analyzing the behavior of systems modeled using Discrete Time Markov Chains (DTMC). Specifically, we define iLTL, an LTL with linear inequalities on...
140
click to vote
COMPSAC
2009
IEEE
15 years 9 months ago
2009
IEEE
Authorship attribution is used to determine the creator of works among many candidates, playing a vital role in software forensics, authorship disputes and academic integrity inve...