Sciweavers

2519 search results - page 310 / 504
» Reasoning with Textual Cases
Sort
View
APCCM
2010
15 years 8 months ago
Business modeling for service descriptions: a meta model and a UML profile
The evolution of service-oriented architectures toward market places for business services in the Internet, raises the need for rich service descriptions with respect to service p...
Gregor Scheithauer, Guido Wirtz
CASCON
2007
104views Education» more  CASCON 2007»
15 years 8 months ago
Identifying fault-prone files using static analysis alerts through singular value decomposition
Static analysis tools tend to generate more alerts than a development team can reasonably examine without some form of guidance. In this paper, we propose a technique for leveragi...
Mark Sherriff, Sarah Smith Heckman, Mike Lake, Lau...
CIDR
2007
84views Algorithms» more  CIDR 2007»
15 years 8 months ago
Public Health for the Internet (PHI)
Business incentives have brought us within a small factor of achieving the database community’s Grand Challenge set out in the Asilomar Report of 1998. This paper makes the case...
Joseph M. Hellerstein, Tyson Condie, Minos N. Garo...
CLIMA
2007
15 years 8 months ago
Actions with Failures in Interval Temporal Logic
Abstract. Failures are unavoidable in many circumstances. For example, an agent may fail at some point to perform a task in a dynamic environment. Robust systems typically have mec...
Arjen Hommersom, Peter J. F. Lucas
CATS
2008
15 years 8 months ago
An ILP for the metro-line crossing problem
In this paper we consider a problem that occurs when drawing public transportation networks. Given an embedded graph G = (V, E) (e.g. the railroad network) and a set H of paths in...
Matthew Asquith, Joachim Gudmundsson, Damian Merri...