5216 search results - page 1034 / 1044 » Planning as Model Checking |
100
click to vote
CAISE
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. We discuss a case study for the hospital scenario where workflow model components are distributed across various computers or devices (e.g. mobile phones, PDAs, sensors, ...
102
click to vote
DATE
2004
IEEE
15 years 2 months ago
2004
IEEE
Code optimization and high level synthesis can be posed as constraint satisfaction and optimization problems, such as graph coloring used in register allocation. Graph coloring is...
DSN
2006
IEEE
15 years 2 months ago
2006
IEEE
World Wide Web, the biggest distributed system ever built, experiences tremendous growth and change in Web sites, users, and technology. A realistic and accurate characterization ...
AIPS
2008
15 years 20 days ago
2008
Enforced hill-climbing is an effective deterministic hillclimbing technique that deals with local optima using breadth-first search (a process called "basin flooding"). ...
NSDI
2007
15 years 20 days ago
2007
The network and distributed systems research communities have an increasing need for “replayable” research, but our current experimentation resources fall short of reaching th...