6279 search results - page 913 / 1256 » Objects as session-typed processes |
169
click to vote
IV
2002
IEEE
15 years 11 months 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...
165
Voted
EDBT
2009
ACM
15 years 11 months 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...
188
Voted
UML
2001
Springer
15 years 11 months 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...
183
click to vote
UML
2001
Springer
15 years 11 months 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 ...
177
Voted
APSEC
2000
IEEE
15 years 11 months 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...