5608 search results - page 378 / 1122 » Structure description tools |
174
click to vote
SEMWEB
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The shift from Web pages to Web services enables programmatic access to the near limitless information on the World Wide Web. Autonomous agents should generate concise an...
168
click to vote
ICIAP
2005
ACM
16 years 6 months ago
2005
ACM
This paper presents a new iris database that contains images with noise. This is in contrast with the existing databases, that are noise free. UBIRIS is a tool for the development ...
134
click to vote
ETFA
2008
IEEE
16 years 22 days ago
2008
IEEE
The dater equalities constitute a well-known tool which allows the description of Timed Event Graphs in the field of (max, +) algebra. This paper gives an equivalent model in the...
139
click to vote
LPAR
2007
Springer
16 years 12 days ago
2007
Springer
Abstract. The use of formal methods provides confidence in the correctness of developments. Yet one may argue about the actual level of confidence obtained when the method itself...
136
click to vote
MODELS
2007
Springer
16 years 12 days ago
2007
Springer
In this position paper, we explain our approach for collaborative systems development based on a model of cooperative applications and a formalism called ORCHESTRA allowing to exp...