4143 search results - page 520 / 829 » A theory of distributed aspects |
213
click to vote
BIRTHDAY
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
177
click to vote
HICSS
2003
IEEE
16 years 4 days ago
2003
IEEE
Basically, instrumental conditioning is learning through consequences: Behavior that produces positive results (high “instrumental response”) is reinforced, and that which pro...
194
click to vote
ICAIL
2003
ACM
16 years 3 days ago
2003
ACM
Problems with legal quality will not only increase effort and costs of the law enforcement organisations, but also undermines the regulating power of the legislator. Unintended us...
183
click to vote
SOFTVIS
2003
ACM
16 years 3 days ago
2003
ACM
Analysis and design of programs by using tools has emerged to a standard technique in object-oriented software engineering. Many of these tools claim to implement methods accordin...
193
click to vote
COOPIS
2002
IEEE
15 years 11 months ago
2002
IEEE
The Neem Platform is a research test bed for Project Neem, concerned with the development of socially and culturally aware collaborative systems in a wide range of domains, through...