2487 search results - page 192 / 498 » Collaborative Engineering Software Development: Ontology-Bas... |
103
click to vote
ECIS
2003
15 years 5 months ago
2003
Traditionally, negotiation support was based on normative and prescriptive research; its users were analysts and experts. The purpose of the recently developed e-negotiation syste...
136
Voted
TASE
2009
IEEE
15 years 10 months ago
2009
IEEE
—Formal verification of low-level programs often requires explicit reasoning and specification of runtime stacks. Treating stacks naively as parts of ordinary heaps can lead to...
115
Voted
UIST
1996
ACM
15 years 8 months ago
1996
ACM
This paper presents XXL, a new interactive development system for building user interfaces which is based on the concept of textual and visual equivalence. XXL includes an interac...
139
click to vote
EUROMICRO
1996
IEEE
15 years 8 months ago
1996
IEEE
Transformational design integrates design and verification. It combines "correctness by construciion" and design creativity by the use ofpre-proven behaviour preserving ...
138
click to vote
ICFEM
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. On the one hand, modal specifications are classic, convenient, and expressive mathematical objects to represent interfaces of component-based systems. On the other hand, ...