1856 search results - page 45 / 372 » Formal Dialectic Specification |
115
click to vote
FORTE
2004
15 years 3 months ago
2004
Eliciting, modeling, and analyzing the requirements are the main challenges to face up when you want to produce a formal specification for distributed systems. The distribution and...
158
click to vote
FASE
2006
Springer
15 years 5 months ago
2006
Springer
This paper describes the application of the Real-Time Maude tool to the formal specification and analysis of the CASH scheduling algorithm and its suggested modifications. The CASH...
132
click to vote
AINA
2003
IEEE
15 years 5 months ago
2003
IEEE
Condition Data Flow Diagrams (CDFDs) are a formalized notation resulting from the integration of Yourdon Data Flow Diagrams, Petri Nets, and pre-post notation. They are used in th...
HPCS
2007
IEEE
15 years 8 months ago
2007
IEEE
Earth Science Markup Language (ESML) is efficient and effective in representing scientific data in an XML-based formalism. However, features of the data being represented are no...
124
click to vote
CIA
2007
Springer
15 years 8 months ago
2007
Springer
Recognizing that trust states are mental states, this paper presents a formal analysis of the dynamics of trust in terms of the functional roles and representation relations for tr...