5433 search results - page 75 / 1087 » Tool Support for Traceability-Adaptation |
192
click to vote
SPE
2011
14 years 11 months ago
2011
Abstract. Two methods have been identified for Event-B model decomposition: shared variable and shared event. The purpose of this paper is to introduce the two approaches and the ...
150
click to vote
DEXAW
2006
IEEE
15 years 10 months ago
2006
IEEE
In order for ontologies to be broadly useful to the scientific community, they need to capture knowledge and expertise of multiple experts and research groups. Consequently, the ...
110
Voted
UIST
1995
ACM
15 years 7 months ago
1995
ACM
The central research issue addressed by this paper is how we can design computer interfaces that better support human attention and better maintain the fluency of work. To accompl...
190
Voted
SMARTNET
2000
15 years 5 months ago
2000
: One of the keys to success for applications of mobile and/or intelligent agents in large-scale open systems such as Internet is the ability of heterogeneous agents to cooperate a...
156
Voted
TOPNOC
2008
15 years 4 months ago
2008
Process Algebras are formalisms for modelling concurrent systems that permit mathematical reasoning with respect to a set of desired properties. TAPAs is a tool that can be used to...