1515 search results - page 176 / 303 » On the relation of aspects and monads |
172
click to vote
WEBDB
2005
Springer
15 years 12 months ago
2005
Springer
Large-scale information integration, and in particular, search on the World Wide Web, is pushing the limits on the combination of structured data and unstructured data. By its ver...
170
click to vote
ATAL
2004
Springer
15 years 11 months ago
2004
Springer
Trust is arguably the most crucial aspect of agent acceptability. At its simplest level, it can be characterized in terms of judgments that people make concerning three factors: an...
188
click to vote
CBSE
2004
Springer
15 years 11 months ago
2004
Springer
According to Szyperski, “a software component is a unit of composition with contractually specified interfaces and explicit context dependencies only”. But it is well known tha...
162
click to vote
CHARME
2001
Springer
15 years 11 months ago
2001
Springer
Formal analysis remains outside the mainstream of system design practice. Interactive methods and tools are regarded by some to be on the margin of useful research in this area. Al...
165
click to vote
CICLING
2001
Springer
15 years 11 months ago
2001
Springer
In logic, the spatio-temporal location of a proposition is characterized precisely within a Cartesian system of space and time coordinates. This is suitable for characterizing the ...