9989 search results - page 146 / 1998 » A CLP Approach to Modelling Systems |
128
click to vote
IJCSA
2006
15 years 4 months ago
2006
This paper presents a formal approach based on Time Petri net (TPN) for the coherence control of SMIL documents. TPN model has been widely used to specify real time systems. The q...
139
click to vote
ICDAR
2009
IEEE
15 years 2 months ago
2009
IEEE
Despite ubiquitous claims that optical character recognition (OCR) is a "solved problem," many categories of documents continue to break modern OCR software such as docu...
177
click to vote
ICSOC
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Service-based systems should be able to dynamically seek replacements for faulty or underperforming services, thus performing self-healing. It may however be the case tha...
109
click to vote
ICWE
2004
Springer
15 years 10 months ago
2004
Springer
Multichannel adaptive information systems can deliver services over different types of networks and access devices. Since different providers may offer either functionally equivale...
113
click to vote
WSC
2001
15 years 5 months ago
2001
This paper presents three methods implemented in the activity-based construction modeling and simulation (ABC) system for validating a construction simulation. The first method re...