8828 search results - page 314 / 1766 » Formal methods in practice |
148
click to vote
CONTEXT
2005
Springer
16 years 7 days ago
2005
Springer
Enterprises develop procedures to address focuses in any case. However, procedures result often in sub-optimal solutions for any specific focus. As a consequence, each actor develo...
161
click to vote
KCAP
2005
ACM
16 years 8 days 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 ...
166
click to vote
DEON
2006
Springer
15 years 10 months ago
2006
Springer
We aim at an adequate formal description of the dynamics of commitments and trust by transferring insights about actual human practices to a formal setting. Our framework is based ...
154
click to vote
AGILEDC
2003
IEEE
16 years 18 hour ago
2003
IEEE
The scientific method serves as a good metaphor for several practices in Extreme Programming (XP). We explore the commonalities and differences and show that the scientific method...
145
click to vote
CAD
1999
Springer
15 years 6 months ago
1999
Springer
The numerical approach to solving geometric constraint problems is indispensable for building a practical CAD system. The most commonly-used numerical method is the Newton