12193 search results - page 420 / 2439 » It's not all about |
169
click to vote
DEON
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. In this paper, we combine deontic logic with Alternatingtime Temporal Logic (ATL) into a framework that makes it possible to model and reason about obligations and abilit...
176
Voted
ECOOP
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. Object invariants describe the consistency of object-oriented data structures and are central to reasoning about the correctness of object-oriented software. Yet, reasoni...
189
Voted
JSSPP
2004
Springer
16 years 7 days ago
2004
Springer
Job scheduling typically focuses on the CPU with little work existing to include I/O or memory. Time-shared execution provides the chance to hide I/O and long-communication latenc...
170
click to vote
PATAT
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Automated timetabling is a research domain that has occupied many researchers over the last 50 years. Several algorithms have proven to be applicable to timetabling but t...
155
click to vote
HICSS
2003
IEEE
16 years 4 days ago
2003
IEEE
This paper provides descriptive research about a successful collaborative vision development process undertaken for a regional United Way. The entire process from learning about t...