Sciweavers

3799 search results - page 406 / 760
» An Engineering Approach to Formal Methods
Sort
View
ACJ
2002
122views more  ACJ 2002»
15 years 6 months ago
Product-Based Design of Business Processes Applied within the Financial Services
Business Process Reengineering (BPR) is an important instrument to boost the performance of business processes. In this paper, the Product-Based Design method is presented that su...
Hajo A. Reijers
JSS
2002
101views more  JSS 2002»
15 years 6 months ago
Software requirements validation via task analysis
As a baseline for software development, a correct and complete requirements definition is one foundation of software quality. Previously, a novel approach to static testing of sof...
Hong Zhu, Lingzi Jin, Dan Diaper, Ganghong Bai
IADIS
2003
15 years 8 months ago
Simple Techniques for Complex Web Applications
In this paper we present an integrated approach to the development of Complex Web Applications. The principal philosophy of the development is to support simplicity, consistency, ...
Gary Griffiths, Mike A. Lockyer, Briony J. Oates, ...
INTR
2010
157views more  INTR 2010»
15 years 5 months ago
Classifying the user intent of web queries using k-means clustering
Purpose – Web search engines are frequently used by people to locate information on the Internet. However, not all queries have an informational goal. Instead of information, so...
Ashish Kathuria, Bernard J. Jansen, Carolyn Hafern...
DEXAW
2006
IEEE
153views Database» more  DEXAW 2006»
16 years 25 days ago
Capturing and Using the Operational Semantics of Large Distributed Systems: Sharing Common Application Requirements in Virtual O
Organisations may wish to use a standards-defined distributed system in a global sense but also have a requirement for non-standard local behaviour. This reflects the production...
Nickolas J. G. Falkner, Paul D. Coddington, Andrew...