2060 search results - page 263 / 412 » The Composition of Event-B Models |
176
click to vote
FOSSACS
2005
Springer
16 years 1 days ago
2005
Springer
Separation logic is a spatial logic for reasoning locally about heap structures. A decidable fragment of its assertion language was presented in [1], based on a bounded model prope...
202
click to vote
UML
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Domain-Specific Languages (DSL) offer many advantages over general languages, but their narrow scope makes them really effective only in very focused domains, for example...
180
click to vote
COOPIS
2003
IEEE
15 years 11 months ago
2003
IEEE
We propose a parallel and distributed component framework for building Grid applications, adapted to the hierarchical, highly distributed, highly heterogeneous nature of Grids. Thi...
206
click to vote
GREC
2003
Springer
15 years 11 months ago
2003
Springer
This paper presents a method of online sketchy shape recognition that can adapt to different user sketching styles. The adaptation principle is based on incremental active learning...
189
click to vote
IICS
2003
Springer
15 years 11 months ago
2003
Springer
As XML has become an emerging standard for information exchange on the World Wide Web, it has gained attention in database communities to extract information from XML sees as a dat...