4255 search results - page 440 / 851 » Cover |
174
click to vote
CPAIOR
2005
Springer
16 years 12 days ago
2005
Springer
The Employee Timetabling Problem (ETP) is a general class of problems widely encountered in service organizations (such as call centers for instance). Given a set of activities, a ...
207
click to vote
GI
2005
Springer
16 years 12 days ago
2005
Springer
: This contribution discusses the application of Petri nets for modeling workflow in healthcare based on a normative language approach. After a brief inon, a framework of different...
187
click to vote
ISSTA
2004
ACM
16 years 9 days ago
2004
ACM
This paper deals with testing of nondeterministic software systems. We assume that a model of the nondeterministic system is given by a directed graph with two kind of vertices: s...
151
click to vote
ISI
2004
Springer
16 years 7 days ago
2004
Springer
We propose a surveillance framework (SECRETS: SECure Real-time ElecTronic Surveillance) that is a practical solution to safeguarding sensitive physical facilities like command and ...
241
click to vote
JIT
2004
Springer
16 years 7 days ago
2004
Springer
Thing-oriented programming (TP) is an emerging programming model which overcomes some of the limitations of current practice in software development in general and of object-orient...