1766 search results - page 198 / 354 » Developing Applications With Objective Caml |
132
click to vote
KBSE
2003
IEEE
15 years 9 months ago
2003
IEEE
We discuss how a collection of domain-specific and domain-independent tools can be combined to “aspectize” the distributed character of server-side applications, to a much gr...
153
click to vote
NGITS
1993
Springer
15 years 8 months ago
1993
Springer
AMOS (Active Mediators Object System) is an architecture to model, locate, search, combine, update, and monitor data in information systems with many work stations connected using...
141
click to vote
ADG
2006
Springer
15 years 7 months ago
2006
Springer
We present an application of an automatic theorem proving (ATP) in the verification of constructions made with dynamic geometry software (DGS). Given a specification language for g...
129
click to vote
ISPE
2003
15 years 5 months ago
2003
: Nowadays, the UML language is one of the most widely accepted software modelling language. Enterprise modelling is concerned with the externalisation of knowledge about the en...
127
click to vote
CAD
2005
Springer
15 years 3 months ago
2005
Springer
Subdivision surfaces refer to a class of modelling schemes that define an object through recursive subdivision starting from an initial control mesh. Similar to B-splines, the fin...