3799 search results - page 721 / 760 » An Engineering Approach to Formal Methods |
165
click to vote
AISS
2010
15 years 1 months ago
2010
The boom of Service oriented architecture is on substantial rise. SOA developers orchestrate individual SOA objects into web services. It has been a dream of software engineers to...
143
click to vote
MM
2006
ACM
15 years 10 months ago
2006
ACM
Most existing web video search engines index videos by file names, URLs, and surrounding texts. These types of video roughly describe the whole video in an abstract level without ...
157
click to vote
ICWE
2004
Springer
15 years 9 months ago
2004
Springer
The UWE methodology provides a systematic, UML-based approach for the development of Web applications. The CASE tool ArgoUWE supports the design phase of the UWE development proces...
129
click to vote
CIKM
2008
Springer
15 years 6 months ago
2008
Springer
Machine Learned Ranking approaches have shown successes in web search engines. With the increasing demands on developing effective ranking functions for different search domains, ...
144
Voted
DLOG
2001
15 years 5 months ago
2001
Description logics have been designed and studied in a modular way. This has allowed a methodic approach to complexity evaluation. We present a way to preserve this modularity in ...