602 search results - page 84 / 121 » Efficient Model Checking of Applications with Input Output |
ECAI
2008
Springer
13 years 10 months ago
2008
Springer
Automation of Web service composition is one of the most interesting challenges facing the Semantic Web today. Since Web services have been enhanced with formal semantic descriptio...
AEI
2007
13 years 9 months ago
2007
A peer-to-peer (p2p) based service flow management system, SwinDeW-S, could support decentralised Web service composition, deployment and enactment. However, traditional workflow ...
CVPR
2011
IEEE
13 years 5 months ago
2011
IEEE
Human-nameable visual attributes offer many advantages when used as mid-level features for object recognition, but existing techniques to gather relevant attributes can be ineffici...
MSWIM
2009
ACM
14 years 3 months ago
2009
ACM
The requirements of multimedia underwater monitoring applications with heterogeneous traffic demands in terms of bandwidth and end-to-end reliability are considered in this artic...
FMICS
2008
Springer
13 years 10 months ago
2008
Springer
Lustre is a formal synchronous declarative language widely used for modeling and specifying safety-critical applications in the elds of avionics, transportation or energy productio...