9272 search results - page 1383 / 1855 » Process Management Agent |
161
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The development of critical systems requires a high assurance process from requirements to the running code. Formal methods, such as B, now provide industry-strength tool...
162
click to vote
DEXAW
2004
IEEE
15 years 10 months ago
2004
IEEE
The Web is moving to a new generation in which machine-understandable processing is mandatory. In order to achieve this goal it is essential to define ontologies which enable the ...
200
click to vote
EEE
2004
IEEE
15 years 10 months ago
2004
IEEE
Web service technologies are becoming increasingly important for integrating systems and services. There is much activity and interest around standardization and usage of web serv...
183
click to vote
CIKM
2006
Springer
15 years 10 months ago
2006
Springer
Text segmentation is important for text analysis, while text alignment is to determine shared sub-topics among similar documents. Multi-task text segmentation and alignment is the...
154
click to vote
CIT
2006
Springer
15 years 10 months ago
2006
Springer
Simulation is a widely used technique in networking research and a practice that has suffered loss of credibility in recent years due to doubts about its reliability. In this pape...