2757 search results - page 190 / 552 » On separating systems |
125
Voted
INTERACT
2003
15 years 6 months ago
2003
: One of the main operations in conceptual 3D design is the rearrangement of single and composite objects. This paper presents a new conceptual 3D design system that affords easy m...
133
click to vote
IWFM
1998
15 years 6 months ago
1998
In this paper we suggest methods to aid the development of specifications using the B method. We propose an objectoriented approach to specification, developing the structure thro...
174
click to vote
DAGSTUHL
2009
15 years 5 months ago
2009
We introduce and discuss the application of statistical physics concepts in the context of on-line machine learning processes. The consideration of typical properties of very large...
134
click to vote
ENTCS
2006
15 years 4 months ago
2006
We address the problem of applying resource-bounded functional programming languages in practice on object-oriented virtual machines which include calls to native methods coded in...
143
click to vote
ENTCS
2006
15 years 4 months ago
2006
In the domain of embedded software systems the increasing complexity of the functionality as well as the increase in variations caused by product lines requires a modular design p...