6581 search results - page 252 / 1317 » Formalizing Design Patterns |
113
Voted
WSC
2007
15 years 6 months ago
2007
The significance of simulation modeling at multiple levels, scales, and perspectives is well recognized. However, existing proposals for developing such models are often applicati...
141
click to vote
ISOLA
2010
Springer
15 years 1 months ago
2010
Springer
Safety-critical distributed real-time systems, such as networked medical devices, must operate according to their specification, because incorrect behaviour can have fatal conseque...
125
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 ...
113
click to vote
FM
2005
Springer
15 years 9 months ago
2005
Springer
In formal design, decoupling means to make the features of a formal system as independent as possible from each other. Decoupling tends to make the features semantically more primi...
147
Voted
EELC
2006
15 years 7 months ago
2006
Research into the evolution of grammar requires that we employ formalisms and processing mechanisms that are powerful enough to handle features found in human natural languages. Bu...