3207 search results - page 501 / 642 » A Semantics for HTN Methods |
175
click to vote
WOSP
2004
ACM
2004
ACM
From UML activity diagrams to Stochastic Petri nets: application to software performance engineering
15 years 10 months ago
Over the last decade, the relevance of performance evaluation in the early stages of the software development life-cycle has been steadily rising. We honestly believe that the int...
131
Voted
ADBIS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Query rewriting method is proposed for the heterogeneous information integration infrastructure formed by the subject mediator environment. Local as View (LAV) approach t...
145
Voted
EMSOFT
2004
Springer
15 years 10 months ago
2004
Springer
Dataflow synchronous languages have attracted considerable interest in domains such as real-time control and hardware design. The potential benefits are promising: Discrete-time...
112
Voted
ICDAR
2003
IEEE
15 years 10 months ago
2003
IEEE
Form reading technology based on form-type identification and form-data recognition is proposed. This technology can solve difficulties in variety for reading different items on f...
162
click to vote
MEMOCODE
2003
IEEE
15 years 10 months ago
2003
IEEE
CSP (Communicating Sequential Processes) is a useful algebraic notation for creating a hierarchical behavioural specification for concurrent systems, due to its formal interproces...