2694 search results - page 186 / 539 » A Description Logic of Change |
179
click to vote
ML
2008
ACM
15 years 6 months ago
2008
ACM
Abstract. We revisit an application developed originally using Inductive Logic Programming (ILP) by replacing the underlying Logic Program (LP) description with Stochastic Logic Pr...
145
click to vote
ICSM
2003
IEEE
15 years 12 months ago
2003
IEEE
The world of software development has rapidly changed in the last few years due to the adoption of component-based technologies. The classical software configuration management, ...
185
click to vote
WCNC
2010
IEEE
15 years 10 months ago
2010
IEEE
—We describe our experience from the implementation of the T-MAC protocol for wireless sensor networks in the open-source Castalia simulator. Notwithstanding the popularity of th...
181
click to vote
ESEC
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. In this paper we demonstrate how static concurrency analysis techniques can be used to verify application-specific properties of an architecture description. Specifically...
163
click to vote
SYNTHESE
2008
15 years 6 months ago
2008
This paper discusses the notion of necessity in the light of results from contemporary mathematical practice. Two descriptions of necessity are considered. According to the first, ...