1856 search results - page 125 / 372 » Formal Dialectic Specification |
123
click to vote
SIGSOFT
2000
ACM
15 years 8 months ago
2000
ACM
Designing architectural frameworks without the aid of formal modeling is error prone. But, unless supported by analysis, formal modeling is prone to its own class of errors, in wh...
TIME
1999
IEEE
15 years 8 months ago
1999
IEEE
In the recent literature on time representation, an effort has been made to characterize the notion of time granularity and the relationships between granularities, in order to ha...
132
click to vote
IFM
2000
Springer
15 years 7 months ago
2000
Springer
This paper presents a formal language for the design of component-based enterprise system. The language (StAC) allows the usual parallel and sequential behaviours, but most signifi...
127
click to vote
KCAP
2005
ACM
15 years 9 months ago
2005
ACM
For decades, researchers in knowledge representation (KR) have argued for and against various choices in KR formalisms, such as Rules, Frames, Semantic nets, and Formal logic. In ...
134
click to vote
ANSS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents a simulation performance improvement of the application of the Multicomponent Discrete Time System Specification (MultiDTSS) formalism to a fire spread. Multic...