4418 search results - page 343 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
190
click to vote
PPAM
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. In order to take full advantage of high-end computing platforms, scientific applications often require modifications to source codes, and to their build systems that ge...
225
click to vote
ABIALS
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. Human action is goal-directed and must thus be guided by anticipations of wanted action effects. How anticipatory action control is possible and how it can emerge from ex...
157
click to vote
DCC
1996
IEEE
15 years 11 months ago
1996
IEEE
We suggest a novel approach for compressing images of text documents based on building up a simple derived font from patterns in the image, and present the results of a prototype ...
212
Voted
JACM
2010
15 years 5 months ago
2010
Description logics (DLs) and rules are formalisms that emphasize different aspects of knowledge representation: whereas DLs are focused on specifying and reasoning about conceptual...
191
click to vote
CAISE
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Multi-Agent Systems (MAS) architectures are gaining popularity over traditional ones for building open, distributed or evolving software. To formally define system archit...