2231 search results - page 279 / 447 » Alternation as a programming paradigm |
166
click to vote
IFL
2007
Springer
16 years 26 days ago
2007
Springer
Existing contract checkers for data structures force programmers to choose between poor alternatives. Contracts are either built into the functions that construct the data structur...
182
Voted
SMALLTALK
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Development environments typically present the software engineer with a structural perspective of an object-oriented system in terms of packages, classes and methods. Fro...
183
click to vote
ASSETS
2006
ACM
16 years 21 days ago
2006
ACM
Many of today’s desktop applications are designed for use with a pointing device and keyboard. Someone with a disability, or in a unique environment, may not be able to use one ...
133
click to vote
DSN
2005
IEEE
16 years 10 days ago
2005
IEEE
Stealth malware programs that silently infect enterprise and consumer machines are becoming a major threat to the future of the Internet [XZ04]. Resource hiding is a powerful stea...
136
click to vote
SEMWEB
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We introduce a framework, based on logic programming, for preferential reasoning with agents on the Semantic Web. Initially, we encode the knowledge of an agent as a logi...