6201 search results - page 1108 / 1241 » Implementation of Axiomatic Language |
145
click to vote
ER
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Of particular concern in requirements engineering is the selection of requirements to implement in the next release of a system. To that end, there has been recent work o...
144
click to vote
ICFEM
2010
Springer
15 years 3 months ago
2010
Springer
Despite the advancements of concurrency theory in the past decades, practical concurrent programming has remained a challenging activity. Fundamental problems such as data races an...
181
Voted
ICSOC
2010
Springer
15 years 3 months ago
2010
Springer
Business and scientific workflow management systems (WfMS) offer different features to their users because they are developed for different application areas with different require...
174
click to vote
PVLDB
2008
15 years 3 months ago
2008
Data exchange is the process of converting an instance of one schema into an instance of a different schema according to a given specification. Recent data exchange systems have l...
141
Voted
JAIR
2010
15 years 3 months ago
2010
Grounding is the task of reducing a first-order theory and finite domain to an equivalent propositional theory. It is used as preprocessing phase in many logic-based reasoning s...