631 search results - page 29 / 127 » Deriving Specifications from Requirements: An Example |
PVLDB
2010
13 years 3 months ago
2010
Output URL bidding is a new bidding mechanism for sponsored search, where advertisers bid on search result URLs, as opposed to keywords in the input query. For example, an adverti...
FORTE
2004
13 years 9 months ago
2004
Eliciting, modeling, and analyzing the requirements are the main challenges to face up when you want to produce a formal specification for distributed systems. The distribution and...
ISSTA
2000
ACM
14 years 24 days ago
2000
ACM
Increasing numbers of software developers are using the Unified Modeling Language (UML) and associated visual modeling tools as a basis for the design and implementation of their ...
HICSS
2008
IEEE
14 years 2 months ago
2008
IEEE
Managing the inventories along with carrying out the production program is essential for many companies in the producing industry. In this paper, a fuzzy EPQ (Economic Production ...
CODES
1998
IEEE
14 years 21 days ago
1998
IEEE
Telecommunication systems are often specified in the standardized languages SDL and MSc. These languages allow only the specification of pure functional aspects. To remedy this pr...