334 search results - page 46 / 67 » Structured Formalization of Service-Oriented Specifications |
HEURISTICS
2010
13 years 2 months ago
2010
The challenge in shift scheduling lies in the construction of a set of work shifts, which are subject to specific regulations, in order to cover fluctuating staff demands. This pro...
SEMWEB
2010
Springer
13 years 2 months ago
2010
Springer
One of the key deficiencies of the Semantic Web is its lack of cognitive plausibility. We argue that by accounting for people's reasoning mechanisms and cognitive representati...
COMPSAC
2002
IEEE
14 years 15 days ago
2002
IEEE
Programs use rules to dictate or constrain specific decisions or actions. These rules have typically been tested, revised, and updated continuously; therefore, they represent a su...
SIGSOFT
2005
ACM
14 years 8 months ago
2005
ACM
We present a technique that enables the use of finite model finding to check the satisfiability of certain formulas whose intended models are infinite. Such formulas arise when us...
APSEC
2008
IEEE
13 years 9 months ago
2008
IEEE
The effort that has been made to study risk management in the context of software architecture and its evolution, has so far focused on output from structured evaluations. However...