2451 search results - page 47 / 491 » The Octagon Abstract Domain |
181
click to vote
ICDCIT
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. A domain-specific service registry should satisfy two requirements at least: coping with diverse service description requirements from different services; supporting sema...
150
click to vote
OHS
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Structural computing is a new paradigm for developing applications in new domains. One of its benefits is that adaptation of behavior--as a consequence of changes of the ...
190
Voted
ICCS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. This work takes place in the general context of the construction and validation of a domain expertise. It aims at the cooperation of two kinds of knowledge, heterogeneous...
170
click to vote
EUROSSC
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. In ubiquitous computing environments there are an increasing number and variety of devices that can generate context data. The challenge is to timely acquire, process, an...
158
click to vote
ENTCS
2006
15 years 5 months ago
2006
The application of formal methods to analog and mixed signal circuits requires efficient methods tructing abstractions of circuit behaviors. This paper concerns the verification o...