2153 search results - page 35 / 431 » From Requirements Models to Formal Specifications in B |
WER
2001
Springer
14 years 1 months ago
2001
Springer
Workflow technology has reached a reasonable degree of maturity, with a number of both research prototypes and commercial systems available. However, methodological issues have rec...
HICSS
2002
IEEE
14 years 2 months ago
2002
IEEE
As XML is gathering more and more importance in the field of data interchange in distributed business to business (B2B) applications, it is increasingly important to provide a for...
VTC
2008
IEEE
14 years 3 months ago
2008
IEEE
—This paper presents a spectrum sharing approach which exploits the clustered distribution of users as would be expected in a typical home with several communicating devices (als...
BRAIN
2010
Springer
13 years 5 months ago
2010
Springer
Biologically realistic modeling has been greatly facilitated by the development of neuro-simulators, and the development of simulatorindependent formats for model exchange is the s...
ZUM
2000
Springer
14 years 18 days ago
2000
Springer
Abstract. This paper reports on an experimental application of formal specification to inform analysis of compiled code. The analyses with are concerned attempt to recover abstract...