2306 search results - page 306 / 462 » Modeling issues in a shipping system |
203
click to vote
AIME
2005
Springer
16 years 18 days ago
2005
Springer
The UK National Health Service (NHS) is currently undergoing an intensive review into the way patient care is designed, delivered and recorded. One important element of this is the...
169
click to vote
CAV
2005
Springer
16 years 18 days ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
168
click to vote
GEOS
2005
Springer
16 years 17 days ago
2005
Springer
Traditional spatial information systems hold only a single state of the ‘real world’. However, geographic phenomena have not only static but dynamic characteristics. The work d...
180
click to vote
ICCS
2005
Springer
16 years 17 days ago
2005
Springer
Abstract We describe the ‘Hierarchical as View’ approach to knowledge integration from heterogeneous sources. This is based on a novel representation called Layered Conceptual ...
169
click to vote
JCDL
2004
ACM
16 years 14 days ago
2004
ACM
We introduce CiteSeer-API, a public API to CiteSeer-like services. CiteSeer-API is SOAP/WSDL based and allows for easy programatical access to all the specific functionalities off...