1988 search results - page 291 / 398 » Engineering formal metatheory |
148
click to vote
SEKE
2001
Springer
15 years 11 months ago
2001
Springer
Ontologies are an emerging paradigm to support declarativity, interoperability, and intelligent services in many areas, such as Agent–based Computation, Distributed Information ...
147
click to vote
APSEC
2000
IEEE
15 years 10 months ago
2000
IEEE
Current object-oriented formalisms, such as UML, focus on describing class models and use instance models only for depicting scenarios. Little attention is being devoted to defini...
165
click to vote
IWSSD
2000
IEEE
15 years 10 months ago
2000
IEEE
We seek to facilitate development of high quality software designs and architectures by using rigorous process definitions to guide application of the complex structure of relati...
162
click to vote
ACMDIS
2000
ACM
15 years 10 months ago
2000
ACM
To create successful interactive systems, user interface designers need to cooperate with developers and application domain experts in an interdisciplinary team. These groups, how...
215
click to vote
UIST
2000
ACM
15 years 10 months ago
2000
ACM
We describe a new sketching interface in which shape recognition and morphing are tightly coupled. Raw input strokes are continuously morphed into ideal geometric shapes, even bef...