2930 search results - page 467 / 586 » A Constructive Approach to the Design of Distributed Systems |
145
click to vote
JSS
2010
15 years 3 months ago
2010
There is a general consensus on the importance of good Requirements Engineering (RE) for achieving high quality software. The modeling and analysis of requirements have been the m...
179
click to vote
TASE
2011
IEEE
14 years 8 months ago
2011
IEEE
Abstract—A fast offset surface generation approach is presented in this paper to construct intersection-free offset surfaces, which preserve sharp features, from freeform triangu...
143
click to vote
CHI
2007
ACM
16 years 5 months ago
2007
ACM
We study small distributed work groups capturing, managing, and reusing knowledge in a collaborative activity. We conceive this process as adaptation of a group to an activity and...
161
click to vote
IJCAI
1989
15 years 6 months ago
1989
In a recent paper, Ginsberg shows how a backward-chaining ATMS can be used to construct a theorem prover for circumscription. Here, this work is extended to handle prioritized cir...
148
click to vote
ICFP
2001
ACM
16 years 5 months ago
2001
ACM
With few exceptions, macros have traditionally been viewed as operations on syntax trees or even on plain strings. This view makes macros seem ad hoc, and is at odds with two desi...