523 search results - page 24 / 105 » Past and Future of DL-Lite |
CORR
2010
Springer
13 years 2 months ago
2010
Springer
Long-term preservation of data and software of large experiments and detectors in high energy physics is of utmost importance to secure the heritage of (mostly unique) data and to...
TACAS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. A Java-based tool-supported software development and analysis framework is presented, where monitoring is a foundational principle. Expressive requirements specification...
BIS
2006
13 years 9 months ago
2006
This paper discusses the applicability of a process algebra, the -calculus, as a formal foundation for Business Process Management (BPM). We therefore investigate the -calculus fro...
WSC
1992
13 years 9 months ago
1992
In this paper we survey the past, present, and future of the Winter Simulation Conference (WSC) as well as the field of simulation. We begin by outlining the origins of WSC and it...
APSEC
2007
IEEE
14 years 2 months ago
2007
IEEE
Analyzing accidents is a vital exercise in the development of safety-critical software systems to prevent past accidents from reoccurring in the future. Current practices such as ...