1419 search results - page 179 / 284 » Notes on Formalizing Context |
93
Voted
IFIP
2009
Springer
15 years 5 months ago
2009
Springer
E-contracts express the rights and obligations of parties through a formal, digital representation of the contract provisions. In process intensive relationships, e-contracts conta...
93
Voted
SPIN
1999
Springer
15 years 5 months ago
1999
Springer
Model checking is traditionally applied to computer system design. It has proven to be a valuable technique. However, it requires detailed specifications of systems and requirement...
116
click to vote
SIGSOFT
1998
ACM
15 years 5 months ago
1998
ACM
The design of a class hierarchy may be imperfect. For example, a class C may contain a member m not accessed in any C-instance, an indication that m could be eliminated, or moved ...
73
Voted
POPL
1997
ACM
15 years 5 months ago
1997
ACM
Module mechanisms have received considerable theoretical attention, but the associated concepts of separate compilation and linking have not been emphasized. Anomalous module syst...
112
click to vote
SIGGRAPH
1996
ACM
15 years 4 months ago
1996
ACM
Interaction with the environment is a key factor affecting the development of plants and plant ecosystems. In this paper we introduce a modeling framework that makes it possible t...