1676 search results - page 81 / 336 » Formal System Development with KIV |
138
click to vote
FM
2005
Springer
15 years 10 months ago
2005
Springer
The Mondex Electronic Purse system [18] is an outstanding example of formal refinement techniques applied to a genuine industrial scale application, and notably, was the first ve...
136
click to vote
ISORC
2007
IEEE
15 years 10 months ago
2007
IEEE
Developing fault tolerant ambient systems requires many challenging factors to be considered due to the nature of such systems, which tend to contain a lot of mobile elements that...
138
click to vote
FM
1999
Springer
15 years 8 months ago
1999
Springer
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
149
click to vote
LISP
2008
15 years 4 months ago
2008
The Ambient Calculus was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code. Numerous analyses have been developed for numerous va...
147
click to vote
UAIS
2002
15 years 4 months ago
2002
Abstract. This paper proposes a new effective strategy for designing and implementing interactive systems overcoming culture, skill and situation hurdles in HumanComputer Interacti...