5034 search results - page 519 / 1007 » A Content-Centric Development Process Model |
180
click to vote
MMGPS
2003
15 years 8 months ago
2003
This paper describes a novel approach for obtaining semantic interoperability in a bottom-up, semi-automatic manner without relying on pre-existing, global semantic models. We ass...
171
click to vote
SERP
2003
15 years 8 months ago
2003
— Our work focuses on the use of formal techniques in order to increase the quality of HCI software and of all the processes resulting from the development, verification, design...
178
click to vote
PROCOMET
1998
15 years 8 months ago
1998
We develop a theory of bisimulations in the join-calculus. We introduce a refined operational model that makes interactions with the environment explicit, and discuss the impact o...
178
click to vote
BIB
2008
15 years 7 months ago
2008
Biology, chemistry and medicine are faced by tremendous challenges caused by an overwhelming amount of data and the need for rapid interpretation. Computational intelligence (CI) ...
188
click to vote
FMSD
2006
15 years 6 months ago
2006
A Promela specification and a set of temporal properties are developed for a basic call service with a number of features. The properties are expressed in the logic LTL. Interactio...