6279 search results - page 913 / 1256 » Objects as session-typed processes |
186
click to vote
IV
2002
IEEE
16 years 15 days ago
2002
IEEE
: In computer-aided design, geometric modeling by constraints enables users to describe shapes by relationships called constraints between geometric elements. The problem is to der...
193
click to vote
EDBT
2009
ACM
16 years 7 days ago
2009
ACM
Decision Support Systems (DSS) are information systems that support decision making processes. In many scenarios these systems are built on top of data managed by DBMSs and make e...
206
click to vote
UML
2001
Springer
16 years 22 hour ago
2001
Springer
UML is the de-facto standard language for Object-Oriented analysis and design of information systems. Persistent storage and extraction of data in such systems is supported by dat...
211
click to vote
UML
2001
Springer
16 years 22 hour ago
2001
Springer
System testing is concerned with testing an entire system based on its specifications. In the context of object-oriented, UML development, this means that system test requirements ...
205
click to vote
APSEC
2000
IEEE
16 years 19 hour ago
2000
IEEE
Explosive increase in end-user computing on distributed systems requires that end-users develop application software by themselves. One solution is given as a formula of “a doma...