2596 search results - page 493 / 520 » Gradual Typing for Objects |
EMO
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. Most existing evolutionary approaches to multiobjective optimization aim at finding an appropriate set of compromise solutions, ideally a subset of the Pareto-optimal se...
SDMW
2009
Springer
15 years 3 months ago
2009
Springer
A “friend finder” is a Location Based Service (LBS) that informs users about the presence of participants in a geographical area. In particular, one of the functionalities of ...
CHARME
2001
Springer
15 years 3 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...
LPNMR
2001
Springer
15 years 3 months ago
2001
Springer
Abstract This paper describes a generic compiler, called plp, for translating ordered logic programs into standard logic programs under the answer set semantics. In an ordered logi...
108
click to vote
RTAS
2000
IEEE
15 years 3 months ago
2000
IEEE
To be an effective platform for performance-sensitive realtime systems, commercial-off-the-shelf (COTS) distributed object computing (DOC) middleware must support application qual...