1100 search results - page 116 / 220 » From Goals to Aspects: Discovering Aspects from Requirements... |
182
click to vote
LICS
1991
IEEE
15 years 10 months ago
1991
IEEE
When logic programming is based on the proof theory of intuitionistic logic, it is natural to allow implications in goals and in the bodies of clauses. Attempting to prove a goal ...
167
click to vote
KYOTODL
2000
15 years 7 months ago
2000
The web is more and more used as a platform for fullfledged, increasingly complex applications, where a huge amount of change-intensive data is managed by underlying database syst...
147
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—This paper reports on measurement results for the simultaneous use of multiple WLAN APs in a large area. We describe some problems of applying legacy IEEE 802.11 WLAN technologi...
168
click to vote
EWSPT
1995
Springer
15 years 10 months ago
1995
Springer
ÐThis paper discusses the notion of process inconsistency and suggests that inconsistencies in software processes are inevitable and sometimes desirable. We present an approach to...
155
click to vote
IAT
2007
IEEE
16 years 23 days ago
2007
IEEE
Practical reasoning (PR), as advocated by philosophers is concerned by reasoning about what agents should do. It follows mainly two steps. A deliberation one for identifying the g...