4385 search results - page 462 / 877 » Abstraction for Concurrent Objects |
150
click to vote
IIE
2008
15 years 6 months ago
2008
Abstract. Informatics is currently being taught in high schools all over the world. In the Netherlands, where all students are expected to become computer literate in the lower gra...
188
Voted
JAR
2008
15 years 6 months ago
2008
Abstract. We propose to combine interactive proof construction with proof automation for a fragment of first-order logic called Coherent Logic (CL). CL allows enough existential qu...
192
Voted
SOSYM
2008
15 years 6 months ago
2008
Abstract. The Meta Object Facility (MOF) 2.0 and the Unified Modeling Language Infrastructure introduce new language features such as subsets, (derived) unions and redefinitions, b...
167
Voted
SYNTHESE
2008
15 years 6 months ago
2008
Abstract We argue that in the decision making process required for selecting assertible vague descriptions of an object, it is practical that communicating agents adopt an epistemi...
146
click to vote
JAMDS
2002
15 years 6 months ago
2002
Abstract. An efficient optimum solution is presented for a real-life employee daysoff scheduling problem with a three-week cycle. Over a given work cycle, each worker is given 14 s...